A Logic for Miranda, Revisited
Article by Simon Thompson. (March, 1995)
An Overview of Miranda
Article by David Turner. (1986)
Functional Programming
An online book by Chris Clack about the Miranda functional programming language and exercises.
Miranda Functional Programming System
A few examples.
The Miranda Programming Language
Overview of the language, areas of application and some sample programs.
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]
Miranda: The Craft of Functional Programming
Descriptions, reviews, purchase source. [Amazon.com]
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).
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson. (May, 1997)
Miranda in Isabelle
Article by Steve Hill and Simon Thompson. (September, 1995)
A Logic for Miranda, Revisited
Article by Simon Thompson. (March, 1995)
An Overview of Miranda
Article by David Turner. (1986)
Functional Programming
An online book by Chris Clack about the Miranda functional programming language and exercises.
Miranda Functional Programming System
A few examples.
The Miranda Programming Language
Overview of the language, areas of application and some sample programs.
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]
Miranda: The Craft of Functional Programming
Descriptions, reviews, purchase source. [Amazon.com]
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).
Results: Previous 1 2 3 4 Next