|
|
 |
| |
|
Search Home : Computers : Programming : Languages : Miranda
See Also:
- 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: An onine book by Chris Clack about the Miranda functional programming language and exercises.
- Miranda Functional Programming System: A few examples.
- Miranda examples: A few examples of Miranda usage from a college course.
- 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]
- 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).
- The Miranda Programming Language: Overview of the language, areas of application and some sample programs.
| |
|
|
