Stunning.com Directory

Home / Computers / Programming / Languages / Miranda

See Also

Web Sites

A Logic for Miranda, Revisited - Article by Simon Thompson.
www.cs.ukc.ac.uk/pubs/1995/63
An Overview of Miranda - Article by David Turner.
www.cs.uwindsor.ca/help/on-line-docs/mira-paper.html
From ACT-ONE to Miranda, a Translation Experiment - Article by Nathan Charles and Howard Bowman and Simon Thompson.
www.cs.ukc.ac.uk/pubs/1997/213
Functional Programming - Overview, uses Miranda.
www.ccrc.wustl.edu/~kenw/cs455/sp97/links/func-prog1.txt
Miranda - The Craft of Functional Programming - book by Simon Thompson.
www.cs.ukc.ac.uk/people/staff/sjt/Miranda_craft
Miranda examples - A few examples of Miranda usage from a college course.
www.cs.oberlin.edu/classes/dragn/labs/streams/streams3.html#@l13
Miranda Functional Programming System - A few examples.
web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html
Miranda in Isabelle - Article by Steve Hill and Simon Thompson.
www.cs.ukc.ac.uk/pubs/1995/209
Programming Language Semantics using Miranda - Technical report by Simon Thompson. Abstract and download.
www.cs.ukc.ac.uk/pubs/1995/59
Programming with Miranda - A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).
www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html
The Miranda Programming Language - Overview of the language, areas of application and some sample programs.
www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html