Works matching IS 09567968 AND DT 2016 AND VI 26
Results: 7
OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler.
- Published in:
- Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S0956796816000095
- By:
- Publication type:
- Article
Testing noninterference, quickly.
- Published in:
- Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S0956796816000058
- By:
- Publication type:
- Article
A language for hierarchical data parallel design-space exploration on GPUs.
- Published in:
- 2016
- By:
- Publication type:
- Case Study
Efficiency of lambda-encodings in total type theory.
- Published in:
- 2016
- By:
- Publication type:
- Case Study
Well-founded recursion with copatterns and sized types.
- Published in:
- Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S0956796816000022
- By:
- Publication type:
- Article
Unifying structured recursion schemes.
- Published in:
- Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S0956796815000258
- By:
- Publication type:
- Article
Transparent fault tolerance for scalable functional computation.
- Published in:
- Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S095679681600006X
- By:
- Publication type:
- Article