MetaXearch > / Programming / Languages / Miranda /
The Miranda Programming Language
Overview of the language, areas of application and some sample programs. (infos)Miranda Functional Programming System
A few examples. (infos)
Programming with Miranda
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994). (infos)
Miranda: The Craft of Functional Programming
Descriptions, reviews, purchase source. [Amazon.com] (infos)
An Overview of Miranda
Article by David Turner. (infos)
Functional Programming
An online book by Chris Clack about the Miranda functional programming language and exercises. (infos)
Programming Language Semantics Using Miranda
By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent] (infos)
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] (infos)
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson. (infos)
Miranda in Isabelle
Article by Steve Hill and Simon Thompson. (infos)