Miranda

David Turner has been responsible for a series of high level functional languages culminating in Miranda. SASL (Turner 1976 and Richards 1984) was developed at St. Andrews University in 1974 and is based strongly on Lambda calculus. Its offspring include KRC (Turner 1982) and Miranda (see Hoyler 1991). The last is another polymorphic, higher order, recursion equation based functional language. Several im plementations of these languages exist in C and BCPL.

REFERENCES

1. Hoyler, I. (1991). Functional Programming with Miranda. Pitman Publishing, London.
2. Richards (1984). An overview od ARC SASL. Sigplan Notices, October.
3. Turner, D.A. (1976). SASL Language Manual. University of St Andrews Technical Report, Department of Computer Science, University of St Andrews, Scotland.
4. Turner, D.A. (1982). Recursion equations as a programming language. In Darlington, J., Henderson, P. and Turner, D.A. (Eds) (1982). Functional Programming and its applications: An advanced Course. Cambridge University Press, Cambridge. pp1-28.

Created and maintained by Frans Coenen. Last updated 03 July 2001