Subdirectories of Miranda:
Categories related to Computers: Programming: Languages: Miranda: Computers: Programming: Languages: Functional (49) Computers: Programming: Languages: Garbage Collected (4) Computers: Programming: Languages: Interpreted: Functional (0) Websites on Miranda: 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)
|
|