Directory Home  |  Programming Languages  |  Miranda

Definition

Miranda Programming Language: A lazy purely functional programming language and interpreter designed by David Turner at the University of Kent in the early 1980s.

A Logic for Miranda, Revisited: Article by Simon Thompson. Main Website: http://www.cs.ukc.ac.uk/pubs/1995/63/   From ACT-ONE to Miranda, a Translation Experiment: Article by Nathan Charles and Howard Bowman and Simon Thompson. Main Website: http://www.cs.ukc.ac.uk/pubs/1997/213/   Miranda - The Craft of Functional Programming: book by Simon Thompson. Main Website: http://www.cs.ukc.ac.uk/people/staff/sjt/Miranda_craft/   Miranda examples: A few examples of Miranda usage from a college course. Main Website: http://www.cs.oberlin.edu/classes/dragn/labs/streams/streams3.html#@l13   Miranda Functional Programming System: A few examples. Main Website: http://web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html   Miranda in Isabelle: Article by Steve Hill and Simon Thompson. Main Website: http://www.cs.ukc.ac.uk/pubs/1995/209/   Programming Language Semantics using Miranda: Technical report by Simon Thompson. Abstract and download. Main Website: http://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). Main Website: http://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. Main Website: http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html

1 - 9 of 9 Entries

Home   |   Directory   |   Web Design   |   Submit Your Website   |   Contact Us   |   Sitemap

© Copyright 1999-2010, InterTechie.com. All Rights Reserved.

Your use of this website constitutes acceptance of the InterTechie.com's Privacy Policy and Terms & Conditions.
This website is best viewed at 800x600 resolution or higher.