Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Computers:   Programming:   Languages:   Miranda

Other Category:

Computers: Programming: Languages: Functional Computers: Programming: Languages: Garbage Collected

Sites:

The Miranda Programming Language  - http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html  Overview of the language, areas of application and some sample programs.  Programming Language Semantics Using Miranda  - http://www.cs.ukc.ac.uk/pubs/1995/59/  By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]  A Logic for Miranda, Revisited  - http://www.cs.ukc.ac.uk/pubs/1995/63/  Article by Simon Thompson.  Miranda in Isabelle  - http://www.cs.ukc.ac.uk/pubs/1995/209/  Article by Steve Hill and Simon Thompson.  Miranda Functional Programming System  - http://web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html  A few examples.  Programming with Miranda  - http://www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html  A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).  Miranda: The Craft of Functional Programming  - http://www.cs.ukc.ac.uk/people/staff/sjt/Miranda_craft/  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]  From ACT-ONE to Miranda, a Translation Experiment  - http://www.cs.ukc.ac.uk/pubs/1997/213/  Article by Nathan Charles and Howard Bowman and Simon Thompson.  Miranda: The Craft of Functional Programming  - http://www.amazon.com/exec/obidos/ASIN/0201422794  Descriptions, reviews, purchase source. [Amazon.com]  An Overview of Miranda  - http://www.freaknet.org/martin/libri/Miranda/Overview.html  Article by David Turner.  Functional Programming  - http://www.cs.ucl.ac.uk/teaching/3C11/  An online book by Chris Clack about the Miranda functional programming language and exercises.