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:

CLERC, XAVIER

Publication type:

Article

Testing noninterference, quickly.

Published in:

Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S0956796816000058

By:

HRIŢ CU, CĂTĂLIN;
LAMPROPOULOS, LEONIDAS;
SPECTOR-ZABUSKY, ANTAL;
DE AMORIM, ARTHUR AZEVEDO;
DÉNÈS, MAXIME;
HUGHES, JOHN;
PIERCE, BENJAMIN C.;
VYTINIOTIS, DIMITRIOS

Publication type:

Article

A language for hierarchical data parallel design-space exploration on GPUs.

Published in:

2016

By:

SVENSSON, BO JOEL;
NEWTON, RYAN R.;
SHEERAN, MARY

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:

ABEL, ANDREAS;
PIENTKA, BRIGITTE

Publication type:

Article

Unifying structured recursion schemes.

Published in:

Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S0956796815000258

By:

HINZE, RALF;
WU, NICOLAS

Publication type:

Article

Efficiency of lambda-encodings in total type theory.

Published in:

2016

By:

STUMP, AARON;
PENG FU

Publication type:

Case Study

Transparent fault tolerance for scalable functional computation.

Published in:

Journal of Functional Programming, 2016, v. 26, p. 1, doi. 10.1017/S095679681600006X

By:

STEWART, ROBERT;
MAIER, PATRICK;
TRINDER, PHIL

Publication type:

Article