See also:

• Computers: Programming: Languages: Functional  (51)
• Computers: Programming: Languages: Garbage Collected  (0)

Functional Programming - - An online book by Chris Clack about the Miranda functional programming language and exercises.

Miranda Functional Programming System - - A few examples.

The Miranda Programming Language - - Overview of the language, areas of application and some sample programs.

Miranda: The Craft of Functional Programming - - By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymorphism, larger-scale programming. [University of Kent.

Miranda: The Craft of Functional Programming - - Descriptions, reviews, purchase source. [Amazon.com.

Programming Language Semantics Using Miranda - - By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent.

Programming with Miranda - - A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).

From ACT-ONE to Miranda, a Translation Experiment - - Article by Nathan Charles and Howard Bowman and Simon Thompson. (May, 1997)

Miranda in Isabelle - - Article by Steve Hill and Simon Thompson. (September, 1995)

A Logic for Miranda, Revisited - - Article by Simon Thompson. (March, 1995)

An Overview of Miranda - - Article by David Turner. (1986)