Research Articles
Articles
A-translation and looping combinators in pure type systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 77-88
-
- Article
-
- You have access
- Export citation
The ins and outs of Clean I/O
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 81-110
-
- Article
-
- You have access
- Export citation
A practical functional program for the CRAY X-MP*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 81-126
-
- Article
-
- You have access
- Export citation
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 87-140
-
- Article
-
- You have access
- Export citation
How powerful are folding/unfolding transformations?
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 89-112
-
- Article
-
- You have access
- Export citation
The Genuine Sieve of Eratosthenes
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 95-106
-
- Article
-
- You have access
- Export citation
Type-safe higher-order channels with channel locality1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 107-142
-
- Article
-
- You have access
- Export citation
Proofs for free: Parametricity for dependent types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 30 March 2012, pp. 107-152
-
- Article
-
- You have access
- Export citation
Dynamic typing in polymorphic languages†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 111-130
-
- Article
-
- You have access
- Export citation
Weak polymorphism can be sound
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 111-141
-
- Article
-
- You have access
- Export citation
Theoretical Pearl Yet yet a counterexample for λ+SP
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 113-115
-
- Article
-
- You have access
- Export citation
Work it, wrap it, fix it, fold it
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 16 April 2014, pp. 113-127
-
- Article
-
- You have access
- Export citation
Functional Pearl: On generating unique names
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 117-123
-
- Article
-
- You have access
- Export citation
Experience report: Functional programming in C-Rules
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / 2010
- Published online by Cambridge University Press:
- 02 March 2010, pp. 123-136
-
- Article
-
- You have access
- Export citation
Extended natural semantics
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 2 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 123-152
-
- Article
-
- You have access
- Export citation
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 127-202
-
- Article
-
- You have access
- Export citation
Elaborating intersection and union types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / 2014
- Published online by Cambridge University Press:
- 20 January 2014, pp. 133-165
-
- Article
-
- You have access
- Export citation
The virtues of eta-expansion
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 135-154
-
- Article
-
- You have access
- Export citation
More on balanced diets
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 07 January 2011, pp. 135-157
-
- Article
-
- You have access
- Export citation
Lightweight checkpointing for concurrent ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 19 March 2010, pp. 137-173
-
- Article
-
- You have access
- Export citation