References

AS85

Harold Abelson and Gerald Jay Sussman. Structure and Interpretation of Computer Programs. McGraw-Hill, New York, 1985.

BW88

Richard Bird and Philip Wadler. Introduction to Functional Programming. Prentice-Hall International, London, 1988.

Cun94

H. Conrad Cunningham. Notes on functional programming with gofer. Technical Report UMCIS-1994-01, Dept of Computer and Information Science, University of Mississippi, January 1994.

Dav92

A.J.T. Davie. An Introduction to Functional Programming Systems Using Haskell. Cambridge University Press, Cambridge, 1992.

Hen80

Peter Henderson. Functional Programming: Application and Implementation. Prentice-Hall International, London, 1980.

Hin92

Ralf Hinze. Einführung in die funktionale Programmierung mit Miranda. Teubner, Stuttgart, 1992.

Hol91

Ian Holyer. Functional Programming with Miranda. Pitman, 1991.

HPW+92

Paul Hudak [ed.], Simon L. Peyton Jones [ed.], Philip Wadler [ed.], Brian Boutel, Jon Fairbairn, Joseph Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell. A non-strict purely functional language. version 1.2, 1992.

MTH90

Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. IT Press, Cambridge, Massachusetts, 1990.

Nöc93

Eric Nöcker. Strictness analysis using abstract reduction. In Functional Programming Languages and Computer Architecture, pages 255-265. ACM Press, 1993.

NSvP91

E. G. J. M. H. Nöcker, J. E. W. Smetsers, M. C. J. D. van Eekelen, and M. J. Plasmeijer. Concurrent Clean. In Springer Verlag, editor, Proc of Parallel Architecture and Languages Europe (PARLE'91), number 505 in Lecture Notes in Computer Science, pages 202-219, 1991.

O'D85

JT O'Donnell. Dialogues: a basis for constructing programming environments. In ACM, editor, Proc ACM Symposium an Language Issues in Programming Enviroments, pages 19-27, Seattle, 1985.

PJ87

Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall International, London, 1987.

PJL91

Simon L. Peyton Jones and David R. Lester. Implementing Functional Languages: a Tutorial. Prentice-Hall International, London, 1991.

PJW93

Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. In Proceedings 20th Symposium on Principles of Programming Languages. ACM, 1993.

PvE93

Rinus Plasmeijer and Marko van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Workingham, 1993.

Ste90

Guy L. Steele. Coomon Lisp. Digital Press, 1990.

Wad90

P. Wadler. Comprehending monads. In Proceedings of Symposium on Lisp and Functional Programming, pages 61-78, Nice, France, June 1990. ACM.

Wad92

P. Wadler. The essence of functional programming. In Proceedings 19th Symposium on Principles of Programming Languages, pages 1-14, January 1992.