Miranda (Languages)

Miranda Sites:

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