Research Articles
Articles
Implementing the evaluation transformer model of reduction on parallel machines
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 329-366
-
- Article
-
- You have access
- Export citation
Translation of tree-processing programs into stream-processing programs based on ordered linear type1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 333-371
-
- Article
-
- You have access
- Export citation
OutsideIn(X) Modular type inference with local assumptions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 16 May 2011, pp. 333-412
-
- Article
-
- You have access
- Export citation
Parameterised notions of computation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 335-376
-
- Article
-
- You have access
- Export citation
Efficient self-interpretation in lambda calculus
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 345-364
-
- Article
-
- You have access
- Export citation
Correctness of binding-time analysis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 347-363
-
- Article
-
- You have access
- Export citation
Factorising folds for faster functions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / 2010
- Published online by Cambridge University Press:
- 30 June 2010, pp. 353-373
-
- Article
-
- You have access
- Export citation
Predictive parser combinators need four values to report errors
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 355-364
-
- Article
-
- You have access
- Export citation
How to make ad hoc proof automation less ad hoc
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 357-401
-
- Article
-
- You have access
- Export citation
Functional Pearl Deduction for functional programmers
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 365-373
-
- Article
-
- You have access
- Export citation
Specifying the correctness of binding-time analysis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / July 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 365-387
-
- Article
-
- You have access
- Export citation
Theoretical Pearls: An unsolvable numeral system in lambda calculus
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 367-372
-
- Article
-
- You have access
- Export citation
Theoretical Pearls: Representing ‘undefined’ in lambda calculus
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 367-374
-
- Article
-
- You have access
- Export citation
Control reduction theories: the benefit of structural substitution
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 373-419
-
- Article
-
- You have access
- Export citation
Functional Pearls: Unravelling greedy algorithms
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 375-385
-
- Article
-
- You have access
- Export citation
A lightweight approach to datatype-generic rewriting
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / 2010
- Published online by Cambridge University Press:
- 27 September 2010, pp. 375-413
-
- Article
-
- You have access
- Export citation
Explicit substitutions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 375-416
-
- Article
-
- You have access
- Export citation
The essence of the Iterator pattern
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 377-402
-
- Article
-
- You have access
- Export citation
On cubism
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 379-392
-
- Article
-
- You have access
- Export citation
Lazy tree splitting
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 382-438
-
- Article
-
- You have access
- Export citation