Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

AllMusicSearch Music Directory
Web Directory
AllMusicSearch.com Music Guide

Top: Computers: Programming: Languages: Miranda:

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 AllMusicSearch.com editors

Free previews by Thumbshots.org