1050 results in Journal of Functional Programming
Eliminating dependent pattern matching without K
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 30 August 2016, e16
-
- Article
-
- You have access
- Export citation
Theoretical Pearls: Self-interpretation in lambda calculus
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 229-233
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Domain generating functions for solving constraint satisfaction problems
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 213-227
-
- Article
-
- You have access
- Export citation
Retrieving reusable software components by polymorphic type
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 191-211
-
- Article
-
- You have access
- Export citation
Introduction to generalized type systems
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 125-154
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Modular proof of strong normalization for the calculus of constructions
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 155-189
-
- Article
-
- You have access
- Export citation
Functional Pearls: On removing duplicates
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 235-243
-
- Article
-
- You have access
- Export citation
Safe zero-cost coercions for Haskell
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 28 July 2016, e15
-
- Article
-
- You have access
- Export citation
Romeo: A system for more flexible binding-safe programming*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 22 July 2016, e13
-
- Article
-
- You have access
- Export citation
A characterization of lambda-terms transforming numerals
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 22 July 2016, e12
-
- Article
-
- You have access
- Export citation
Preface for special section from FLOPS 2014
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 22 July 2016, e14
-
- Article
-
- You have access
- Export citation
Skeleton composition versus stable process systems in Eden
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 15 July 2016, e11
-
- Article
-
- You have access
- Export citation
PAEAN: Portable and scalable runtime support for parallel Haskell dialects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 13 July 2016, e10
-
- Article
-
- You have access
- Export citation
Composable scheduler activations for Haskell
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 27 June 2016, e9
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 16 June 2016, e8
-
- Article
-
- You have access
- Export citation
OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 17 May 2016, e7
-
- Article
-
- You have access
- Export citation
Testing noninterference, quickly
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 05 April 2016, e4
-
- Article
-
- You have access
- Export citation
A language for hierarchical data parallel design-space exploration on GPUs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 17 March 2016, e6
-
- Article
-
- You have access
- Export citation