Wectar - Computers - Programming - Languages - Miranda

	submit a site to this category

Subcategories
Haskell@

	Functional Programming URL: http://www.cs.ucl.ac.uk/teaching/3C11/ ODP description: An online book by Chris Clack about the Miranda functional programming language and exercises. Page title: Functional Programming (GC16 / 3011)
	From ACT-ONE to Miranda, a Translation Experiment URL: http://www.cs.kent.ac.uk/pubs/1997/213/ ODP description: Article by Nathan Charles and Howard Bowman and Simon Thompson. Page title: Computer Science: Publication: From ACT-ONE to Miranda, a Translation Experiment Page description: From ACT-ONE to Miranda, a Translation Experiment, Nathan Charles and Howard Bowman and Simon Thompson, 1997, Computer Science, University of Kent at Canterbury
	Miranda Programming Language URL: http://en.wikipedia.org/wiki/Miranda_programming_language ODP description: Growing article, with links to many related topics. [Wikipedia] Page title: Miranda (programming language) - Wikipedia, the free encyclopedia
	An Overview of Miranda URL: http://www.freaknet.org/martin/libri/Miranda/Overview.html ODP description: Article by David Turner.
	Programming Language Semantics Using Miranda URL: http://www.cs.kent.ac.uk/pubs/1995/59/ ODP description: By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent] Page title: Computer Science: Publication: Programming Language Semantics using Miranda Page description: Programming Language Semantics using Miranda, Simon Thompson, 1995, Computer Science, University of Kent at Canterbury
	Miranda in Isabelle URL: http://www.cs.kent.ac.uk/pubs/1995/209/ ODP description: Article by Steve Hill and Simon Thompson. Page title: Computer Science: Publication: Miranda in Isabelle Page description: Miranda in Isabelle, Steve Hill and Simon Thompson, 1995, Computer Science, University of Kent at Canterbury
	The Miranda Programming Language URL: http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html ODP description: Overview of the language, areas of application and some sample programs.
	Miranda: The Craft of Functional Programming URL: http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/ ODP description: 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]
	A Logic for Miranda, Revisited URL: http://www.cs.kent.ac.uk/pubs/1995/63/ ODP description: Article by Simon Thompson. Page title: Computer Science: Publication: A Logic for Miranda, Revisited Page description: A Logic for Miranda, Revisited, Simon Thompson, 1995, Computer Science, University of Kent at Canterbury
	Programming with Miranda URL: http://www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html ODP description: A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).