Programming/Languages/Miranda : Computer Data

computer data.com

Home
Link To Us
Add a link
Modify a link
New Links
Search

Techie Personals

Web Host Coupons

But Ink Online

Home: Programming: Languages: Miranda

Links

A Logic for Miranda, Revisited
Article by Simon Thompson. (Rating: 0.00 Votes: 0) Rate It

From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson. (Rating: 0.00 Votes: 0) Rate It

Miranda - The Craft of Functional Programming
book by Simon Thompson. (Rating: 0.00 Votes: 0) Rate It

Miranda in Isabelle
Article by Steve Hill and Simon Thompson. (Rating: 0.00 Votes: 0) Rate It

Programming Language Semantics using Miranda
Technical report by Simon Thompson. Abstract and download. (Rating: 0.00 Votes: 0) Rate It

Programming with Miranda
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994). (Rating: 0.00 Votes: 0) Rate It

The Miranda Programming Language
Overview of the language, areas of application and some sample programs. (Rating: 0.00 Votes: 0) Rate It

OpenTip

Web Hosting

HP Coupon Codes

HP Coupon Codes

GoToMyPC

GoToMyPC

Go to my PC

Discount Software

Copyright Computer-Data.com © 2003-2010. All Rights Reserved.