english deutsch
A Logic for Miranda, Revisited
Article by Simon Thompson.
An Overview of Miranda
Article by David Turner.
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson.
Functional Programming
An onine book by Chris Clack about the Miranda functional programming language and exercises.
Miranda examples
A few examples of Miranda usage from a college course.
Miranda Functional Programming System
A few examples.
Miranda in Isabelle
Article by Steve Hill and Simon Thompson.
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).
The Miranda Programming Language
Overview of the language, areas of application and some sample programs.