A Logic for Miranda, Revisited
Article by Simon Thompson.
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson.
An online book by Chris Clack about the Miranda functional programming language and exercises.
Miranda Programming Language
Growing article, with links to many related topics. [Wikipedia]
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]
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.