Directory Help Search only in MirandaSearch the Web

Miranda

Computers > Programming > Languages > Miranda

Go to Directory Home

Categories

Haskell (76)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Miranda Programming Language - http://en.wikipedia.org/wiki/Miranda_programming_language Growing article, with links to many related topics. [Wikipedia]
	Miranda: The Craft of Functional Programming - http://www.cs.kent.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]
	Functional Programming - http://www.cs.ucl.ac.uk/teaching/3C11/ An online book by Chris Clack about the Miranda functional programming language and exercises.
	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.
	Miranda in Isabelle - http://www.cs.kent.ac.uk/pubs/1995/209/ Article by Steve Hill and Simon Thompson.

	Programming Language Semantics Using Miranda - http://www.cs.kent.ac.uk/pubs/1995/59/ By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
	From ACT-ONE to Miranda, a Translation Experiment - http://www.cs.kent.ac.uk/pubs/1997/213/ Article by Nathan Charles and Howard Bowman and Simon Thompson.
	A Logic for Miranda, Revisited - http://www.cs.kent.ac.uk/pubs/1995/63/ Article by Simon Thompson.
	An Overview of Miranda - http://www.freaknet.org/martin/libri/Miranda/Overview.html Article by David Turner.
	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).

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...