1050 results in Journal of Functional Programming
Safe fusion of functional expressions II: Further improvements†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 515-555
-
- Article
-
- You have access
- Export citation
A confluent reduction for the λ-calculus with surjective pairing and terminal object
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 299-327
-
- Article
-
- You have access
- Export citation
λν, a calculus of explicit substitutions which preserves strong normalisation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / September 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 699-722
-
- Article
-
- You have access
- Export citation
Exploring the conformations of nucleic acids
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 443-460
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 1 / January 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b6
-
- Article
-
- You have access
- Export citation
Empirical and analytic study of stack versus heap cost for languages with closures
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 47-74
-
- Article
-
- You have access
- Export citation
JFP volume 6 issue 6 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 6 / November 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Using Miranda as a first programming language
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 5-34
-
- Article
-
- You have access
- Export citation
JFP volume 6 issue 3 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b2
-
- 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 / January 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 81-110
-
- Article
-
- You have access
- Export citation
Algorithmic debugging for lazy functional languages1
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 3 / July 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 337-369
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 1 / January 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
On-line and off-line partial evaluation: semantic specifications and correctness proofs†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 461-500
-
- Article
-
- You have access
- Export citation
Projection Factorisations in Partial Evaluation. By Launchbury John. Distinguished Dissertations in Computer Science, Vol. 1. Cambridge University Press, 1991. ISBN 0 521 41497 0
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, p. 365
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 4 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 4 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b7
-
- Article
-
- You have access
- Export citation
JFP volume 4 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 2 / April 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
A syntactic theory of type generativity and sharing
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / September 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 667-698
-
- Article
-
- You have access
- Export citation
Functional programming for business students
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 35-48
-
- Article
-
- You have access
- Export citation
Errataum
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, p. 373
-
- Article
-
- You have access
- Export citation