1048 results in Journal of Functional Programming
On combinatory complete sets of proper combinators
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 6 / November 1997
- Published online by Cambridge University Press:
- 01 November 1997, pp. 593-612
-
- Article
-
- You have access
- Export citation
Applications of Functional Programming by Colin Runciman and David Wakeling, editors, UCL Press, 1995.
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 555-556
-
- Article
-
- You have access
- Export citation
A new method for functional arrays
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 487-513
-
- Article
-
- You have access
- Export citation
Shrinking lambda expressions in linear time
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 515-540
-
- Article
-
- You have access
- Export citation
A functional description of TEX's formula layout
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 451-485
-
- Article
-
- You have access
- Export citation
More haste, less speed: lazy versus eager evaluation
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 541-547
-
- Article
-
- You have access
- Export citation
The Zipper
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 549-554
-
- Article
-
- You have access
- Export citation
Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 4 / July 1997
- Published online by Cambridge University Press:
- 01 July 1997, pp. 395-420
-
- Article
-
- You have access
- Export citation
ML for the Working Programmer (2nd edition) by L. C. Paulson, Cambridge University Press, 1996. A Practical Course in Functional Programming Using Standard ML by R. Bosworth, McGraw Hill, 1996.
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 4 / July 1997
- Published online by Cambridge University Press:
- 01 July 1997, pp. 447-449
-
- Article
-
- You have access
- Export citation
A syntactic method for finding least fixed points of higher-order functions over finite domains
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 4 / July 1997
- Published online by Cambridge University Press:
- 01 July 1997, pp. 357-394
-
- Article
-
- You have access
- Export citation
A competitive algorithm for managing sharing in the distributed execution of functional programs
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 4 / July 1997
- Published online by Cambridge University Press:
- 01 July 1997, pp. 421-440
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL On building trees with minimum height
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 4 / July 1997
- Published online by Cambridge University Press:
- 01 July 1997, pp. 441-445
-
- Article
-
- You have access
- Export citation
The call-by-need lambda calculus
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 265-301
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL On merging and selection
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 349-354
-
- Article
-
- You have access
- Export citation
Deriving a lazy abstract machine
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 231-264
-
- Article
-
- You have access
- Export citation
Type and behaviour reconstruction for higher-order concurrent programs
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 321-347
-
- Article
-
- You have access
- Export citation
CALL FOR PAPERS Journal of Functional Programming Special Issue on Functional Programming and Computational Complexity
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 355-356
-
- Article
-
- You have access
- Export citation
Thunks and the λ-calculus
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 303-319
-
- Article
-
- You have access
- Export citation
Garbage Collection: Algorithms for Automatic Dynamic Memory Management by Richard Jones and Rafael Lins, John Wiley & Sons, 1996.
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 2 / March 1997
- Published online by Cambridge University Press:
- 01 March 1997, pp. 227-229
-
- Article
-
- You have access
- Export citation
NATURAL EXPERT: a commercial functional programming environment
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 2 / March 1997
- Published online by Cambridge University Press:
- 01 March 1997, pp. 163-182
-
- Article
-
- You have access
- Export citation