An Overview of Miranda
Article by David Turner. (1986)
A Logic for Miranda, Revisited
Article by Simon Thompson. (March, 1995)
Miranda in Isabelle
Article by Steve Hill and Simon Thompson. (September, 1995)
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson. (May, 1997)
Programming with Miranda
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).
Programming Language Semantics Using Miranda
By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
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]
The Miranda Programming Language
Overview of the language, areas of application and some sample programs.
Miranda Programming Language
Growing article, with links to many related topics. [Wikipedia]
Miranda Functional Programming System
A few examples.
[ 1 ] [ 2 ]
|
