1050 results in Journal of Functional Programming
Special Issue on ML
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / October 1993
- Published online by Cambridge University Press:
- 07 November 2008, p. 389
-
- Article
-
- You have access
- Export citation
JFP volume 4 issue 4 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Communication lifting: fixed point computation for parallelism
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 549-581
-
- Article
-
- You have access
- Export citation
Equivalence in functional languages with effects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 287-327
-
- Article
-
- You have access
- Export citation
JFP volume 3 issue 3 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / July 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Functional Pearls A symmetric set of efficient list operations
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 4 / October 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 505-513
-
- Article
-
- You have access
- Export citation
A domain-theoretic approach to functional and logic programming
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 273-321
-
- Article
-
- You have access
- Export citation
An overview of the Flagship system
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 19-45
-
- Article
-
- You have access
- Export citation
The resource constrained shortest path problem implemented in a lazy functional language
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 29-46
-
- Article
-
- You have access
- Export citation
A-translation and looping combinators in pure type systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 77-88
-
- Article
-
- You have access
- Export citation
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 75-109
-
- Article
-
- You have access
- Export citation
JFP volume 6 issue 6 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 6 / November 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b3
-
- Article
-
- You have access
- Export citation
JFP volume 2 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
The complexity of type inference for higher-order typed lambda calculi†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 435-477
-
- 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 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 113-115
-
- Article
-
- You have access
- Export citation
Implementing a functional spreadsheet in clean
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 383-414
-
- 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
Worst case scheduling for parallel functional programs1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 65-75
-
- Article
-
- You have access
- Export citation
JFP volume 5 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / January 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
JFP volume 2 issue 3 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation