1050 results in Journal of Functional Programming
JFP volume 4 issue 3 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 3 / July 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JFP volume 5 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / April 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
The bologna optimal higher-order machine
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 6 / November 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 763-810
-
- Article
-
- You have access
- Export citation
Author Index to Volume 1
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, p. 495
-
- Article
-
- You have access
- Export citation
Special Issue on State-of-the-art applications of pure functional programming languages
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 279-281
-
- Article
-
- You have access
- Export citation
JFP volume 5 issue 3 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Optimal purely functional priority queues
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 6 / November 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 839-857
-
- Article
-
- You have access
- Export citation
Author Index to Volume 6
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 6 / November 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 859-861
-
- Article
-
- You have access
- Export citation
Encapsulating non-determinacy in an abstract data type with determinate semantics
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 1 / January 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 3-20
-
- Article
-
- You have access
- Export citation
New dimensions in heap profiling
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 4 / July 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 587-620
-
- Article
-
- You have access
- Export citation
A review of the FPCA '91 proceedings - John Hughes (Ed); Functional Programming Langauges and Computer Architecture. Proceedings of the fifth conference (Cambridge, MA, 28–30081991) Volume 523 of Lecture Notes in Computer Science, Springer-Verlag. 666 pp.
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 227-231
-
- Article
-
- You have access
- Export citation
Metamorph – a formal methods toolkit with application to the design of digital hardware
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / October 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 437-473
-
- Article
-
- You have access
- Export citation
JFP volume 1 issue 3 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b4
-
- Article
-
- You have access
- Export citation
Residual theory in λ-calculus: a formal development*
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 3 / July 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 371-394
-
- Article
-
- You have access
- Export citation
JFP volume 2 issue 1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / January 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Lexical profiling: theory and practice
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / April 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 225-277
-
- Article
-
- You have access
- Export citation
Lessons from the design of a Standard ML library
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / October 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 527-552
-
- Article
-
- You have access
- Export citation
Functional Pearls Efficient sets—a balancing act
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / October 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 553-561
-
- 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
On the generation of specializers1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 499-514
-
- Article
-
- You have access
- Export citation