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 - Overview, uses Miranda.
Miranda - The Craft of Functional Programming - book by Simon Thompson.
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.
Programming Language Semantics using Miranda - Technical report by Simon Thompson. Abstract and download.
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.