Computers » Programming » Languages » Miranda (index): Programming Language Semantics Using Miranda, A Logic for Miranda, Revisited, Miranda in Isabelle, Miranda: The Craft of Functional Programming ...


Home		Set as Homepage		Add to Favorite		Contact

11 November, 2009

search for

egories

Category: Main » Computers » Programming » Languages » Miranda

SUBMIT A SITE

	Miranda	Records 1-8 of 8
		Order by Date Added \| Popularity \| Alphabet

Sponsored Links:

Programming Language Semantics Using Miranda (Popularity:

)
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 (Popularity:

)
http://www.cs.ukc.ac.uk/pubs/1995/63/
Article by Simon Thompson.

Miranda in Isabelle (Popularity:

)
http://www.cs.ukc.ac.uk/pubs/1995/209/
Article by Steve Hill and Simon Thompson.

Miranda: The Craft of Functional Programming (Popularity:

)
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 ...

From ACT-ONE to Miranda, a Translation Experiment (Popularity:

)
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 (Popularity:

)
http://www.amazon.com/exec/obidos/ASIN/0201422794
Descriptions, reviews, purchase source. [Amazon.com]

An Overview of Miranda (Popularity:

)
http://www.freaknet.org/martin/libri/Miranda/Overview.html
Article by David Turner.

Functional Programming (Popularity:

)
http://www.cs.ucl.ac.uk/teaching/3C11/
An onine book by Chris Clack about the Miranda functional programming language and exercises.