D.A.Turner An Overview of Miranda, SIGPLAN Notices, Dec 1986

This paper was republished several times with minor changes in wording. The version included here is very close to the original.

Apart from updating the current status and contact information the only significant differences are that in the original paper there was no "if" after the guard comma and list comprehensions were called "ZF expressions" (because the idea comes from a similar notation in Zermlo-Frankel set theory). Both changes were made in 1988.