jasminecorp.net directory
Updated Blogs
More .....



 
 
| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Miranda
Directory > Computers > Programming > Languages > Miranda

Web Sitesi

Functional Programming
An onine book by Chris Clack about the Miranda functional programming language and exercises.
http://www.cs.ucl.ac.uk/teaching/3C11/
Reviews Rating: Not yet Rated Whois Check

An Overview of Miranda
Article by David Turner.
http://www.freaknet.org/martin/libri/Miranda/Overview.html
Reviews Rating: Not yet Rated Whois Check

Miranda: The Craft of Functional Programming
Descriptions, reviews, purchase source. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0201422794
Reviews Rating: Not yet Rated Whois Check

From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson.
http://www.cs.ukc.ac.uk/pubs/1997/213/
Reviews Rating: Not yet Rated Whois Check

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]
http://www.cs.ukc.ac.uk/people/staff/sjt/Miranda_craft/
Reviews Rating: Not yet Rated Whois Check

Programming with Miranda
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
Reviews Rating: Not yet Rated Whois Check

Miranda Functional Programming System
A few examples.
http://web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html
Reviews Rating: Not yet Rated Whois Check

Miranda in Isabelle
Article by Steve Hill and Simon Thompson.
http://www.cs.ukc.ac.uk/pubs/1995/209/
Reviews Rating: Not yet Rated Whois Check

A Logic for Miranda, Revisited
Article by Simon Thompson.
http://www.cs.ukc.ac.uk/pubs/1995/63/
Reviews Rating: Not yet Rated Whois Check

Miranda examples
A few examples of Miranda usage from a college course.
http://www.cs.oberlin.edu/classes/dragn/labs/streams/streams3.html#@l13
Reviews Rating: Not yet Rated Whois Check

Programming Language Semantics Using Miranda
By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of
Kent]
http://www.cs.ukc.ac.uk/pubs/1995/59/
Reviews Rating: Not yet Rated Whois Check

The Miranda Programming Language
Overview of the language, areas of application and some sample programs.
http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia