Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads








Miranda (10)

Categories:

See Also:
Sites:

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

This category needs an editor

Last Updated: 2007-01-02 19:58:03





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

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org