Book Reviews
Book Review
Abstract Data Types in Standard ML by Harrison Rachel, John Wiley & Sons, 1993212 pp, ISBN 0-471-93844-0.
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 131-134
-
- Article
-
- You have access
- Export citation
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 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 189-193
-
- 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 / 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 227-231
-
- 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
An Introduction to Formal Specification and Z by Ben Potter, Jane Sinclair and David Till, Prentice-Hall, 1991. - Z: An Introduction to Formal Methods (second edition) by Antoni Diller, John Wiley & Sons, 1994.
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 375-377
-
- Article
-
- You have access
- Export citation
Introduction to HOL: a theorem proving environment for higher order logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 557-559
-
- Article
-
- You have access
- Export citation
Concurrent Programming in Erlang by Joe Armstrong, Robert Virding and Mike Williams, Prentice Hall, 1993, 281 pp.
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / October 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 653-660
-
- Article
-
- You have access
- Export citation