1050 results in Journal of Functional Programming
Programming with Standard ML by Colin Myers, Chris Clack and Ellen Poon, Prentice Hall International, Inc., New Jersey, 301pp, 1993, ISBN 0-13-722075-8. - ML for the Working Programmer by L.C. Paulson, Cambridge University Press, 1991, 429pp, ISBN 0-521-39022-2. - Elements of ML Programming by Jeffrey D. Ullman, Prentice Hall International, Inc., New Jersey, 1994, 320pp, ISBN 0-13-288788-6, 0-13-184854-2 (USA).
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 189-193
-
- Article
-
- You have access
- Export citation
A system of constructor classes: overloading and implicit higher-order polymorphism†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / January 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-35
-
- Article
-
- You have access
- Export citation
Fixed points and frontiers: a new perspective
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 1 / January 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 91-120
-
- Article
-
- You have access
- Export citation
Polymorphic type, region and effect inference
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 3 / July 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-271
-
- Article
-
- You have access
- Export citation
Functional Pearls: The last tail
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 117-122
-
- Article
-
- You have access
- Export citation
JFP volume 2 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b4
-
- Article
-
- You have access
- Export citation
JFP volume 6 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
A simple proof of the undecidability of inhabitation in λP
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 5 / September 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 757-761
-
- Article
-
- You have access
- Export citation
A study of sparse matrix representations for solving linear systems in a functional language
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / January 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 61-72
-
- Article
-
- You have access
- Export citation
Explicit substitutions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 375-416
-
- Article
-
- You have access
- Export citation
An incremental, exploratory and transformational environment for lazy functional programming
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 93-115
-
- Article
-
- You have access
- Export citation
A Debugger for Standard ML1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 2 / April 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 155-200
-
- Article
-
- You have access
- Export citation
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. 347-363
-
- Article
-
- You have access
- Export citation
JFP volume 4 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Funser: a functional server for textual information retrieval†
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 317-343
-
- 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
Using types as search keys in function libraries
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 1 / January 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 71-89
-
- Article
-
- You have access
- Export citation
A categorical understanding of environment machines
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / January 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 23-59
-
- Article
-
- You have access
- Export citation
Author Index to Volume 5
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 661-662
-
- Article
-
- You have access
- Export citation
Operational interpretations of an extension of Fω with control operators
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 393-418
-
- Article
-
- You have access
- Export citation