Article by Simon Thompson. (March, 1995)
An Overview of Miranda
Article by David Turner. (1986)
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson. (May, 1997)
Functional Programming
An online book by Chris Clack about the Miranda functional programming language and exercises.
Miranda Functional Programming System
A few examples.
Miranda in Isabelle
Article by Steve Hill and Simon Thompson. (September, 1995)
Miranda Programming Language
Growing article, with links to many related topics. [Wikipedia]
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]
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).
The Miranda Programming Language
Overview of the language, areas of application and some sample programs.
Pages: 1