8 links
From ACT-ONE to Miranda, a Translation Experiment
cs.kent.ac.uk
Article by Nathan Charles and Howard Bowman and Simon Thompson.
Miranda: The Craft of Functional Programming
amazon.com
Descriptions, reviews, purchase source. [Amazon.com]
Miranda: The Craft of Functional Programming
cs.kent.ac.uk
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…
Programming Language Semantics Using Miranda
cs.kent.ac.uk
By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
Programming with Miranda
cs.ucl.ac.uk
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).