ODP - Open Directory Project
"The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors."
Computers: Programming: Languages: Miranda:
|
See also:
- Computers: Programming: Languages: Functional (49)
- Computers: Programming: Languages: Garbage Collected (4)
- Computers: Programming: Languages: Interpreted: Functional (0)
- Functional Programming - An online book by Chris Clack about the Miranda functional programming language and exercises..
- Miranda Programming Language - Growing article, with links to many related topics. [Wikipedia].
- 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].
- 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).
|
|
 |
 |
