Miranda Languages Programming

Top: Computers: Programming: Languages

Miranda

See Also:

Miranda Programming Language - Growing article, with links to many related topics. languages [Wikipedia]
Programming Language Semantics Using Miranda - By Simon Thompson. Technical report, abstract and download, programming gzipped PostScript file. [University of Kent]
Miranda in Isabelle - Article by Steve Hill and Simon Thompson.
A Logic for Miranda, Revisited - Article by Simon Thompson.
Functional Programming - An online book by Chris Clack about the languages Miranda functional miranda programming language and exercises.
An Overview of Miranda - Article by David Turner.
Programming with Miranda - A brief information about book by Chris Clack, programming Colin Myers languages and Ellen Poon (published in 1994).
From ACT-ONE to Miranda, a Translation Experiment - Article by Nathan Charles and Howard Bowman and Simon Thompson.
The Miranda Programming Language - Overview of the language, areas of application and some sample languages programs.
Miranda: The Craft of Functional Programming - By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped miranda in 3 parts: foundation programming by basic types miranda and lists, twin ideas of higher-order functions and miranda polymorphism, larger-scale programming. [University of Kent]

MySQL - Cache Direct