Efficient Abstractions for GPGPU Programming.
- Published in:
- International Journal of Parallel Programming, 2014, v. 42, n. 4, p. 583, doi. 10.1007/s10766-013-0261-x
- By:
- Publication type:
- Article
Works matching DE "OCAML (Computer program language)"
Results: 9
1
2
A certified implementation of ML with structural polymorphism and recursive types.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 867, doi. 10.1017/S0960129513000066
- By:
- Publication type:
- Article
3
Shifting the stage.
- Published in:
- Journal of Functional Programming, 2011, v. 21, n. 6, p. 617, doi. 10.1017/S0956796811000256
- By:
- Publication type:
- Article
4
Ott: Effective tool support for the working semanticist.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 1, p. 71, doi. 10.1017/S0956796809990293
- By:
- Publication type:
- Article
5
Caml trading ? experiences with functional programming on Wall Street.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 4, p. 553
- By:
- Publication type:
- Article
6
Bio Simulators: a web UI for biological simulation.
- Published in:
- Bioinformatics, 2014, v. 30, n. 10, p. 1491, doi. 10.1093/bioinformatics/btu050
- By:
- Publication type:
- Article
7
Chemoinformatics and structural bioinformatics in OCaml.
- Published in:
- Journal of Cheminformatics, 2019, v. 11, n. 1, p. 1, doi. 10.1186/s13321-019-0332-0
- By:
- Publication type:
- Article
8
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
- Published in:
- Journal of Logic & Computation, 2009, v. 19, n. 1, p. 17, doi. 10.1093/logcom/exn026
- By:
- Publication type:
- Article
9
SKELETAL PARALLEL PROGRAMMING WITH OCAMLP3L 2.0.
- Published in:
- Parallel Processing Letters, 2008, v. 18, n. 1, p. 149, doi. 10.1142/S0129626408003284
- By:
- Publication type:
- Article