Haskell@ (60) 1. A Logic for Miranda, Revisited - Article by Simon Thompson. 2. An Overview of Miranda - Article by David Turner. 3. From ACT-ONE to Miranda, a Translation Experiment - Article by Nathan Charles and Howard Bowman and Simon Thompson. 4. Functional Programming - An online book by Chris Clack about the Miranda functional programming language and exercises. 5. Miranda Functional Programming System - A few examples. 6. Miranda in Isabelle - Article by Steve Hill and Simon Thompson. 7. Miranda: The Craft of Functional Programming - 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] 8. Programming Language Semantics Using Miranda - By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent] 9. Programming with Miranda - A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994). 10. The Miranda Programming Language - Overview of the language, areas of application and some sample programs. 11. Miranda Programming Language NEW! - Growing article, with links to many related topics. [NodeWorks Encyclopedia]

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

© 2008 Chamas Enterprises Inc.