  |
Miranda Programming Language - http://en.wikipedia.org/wiki/Miranda_programming_language
Growing article, with links to many related topics. [Wikipedia] |
  |
Miranda: The Craft of Functional Programming - http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/
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] |
  |
Functional Programming - http://www.cs.ucl.ac.uk/teaching/3C11/
An online book by Chris Clack about the Miranda functional programming language and exercises. |
  |
The Miranda Programming Language - http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html
Overview of the language, areas of application and some sample programs. |
  |
Miranda in Isabelle - http://www.cs.kent.ac.uk/pubs/1995/209/
Article by Steve Hill and Simon Thompson. |