Miranda Languages Programming
Top: Computers: Programming: Languages: Miranda
- Top/Computers/Programming/Languages/Garbage Collected
- 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