3:33 AM
Undergrounds Network - Top website directory and portal for celebrities, communities and free classified ads Perfect People and their Pictures - Celebrity pictures, posters, wallpapers, information and more. GnoMe Network - Express yourself with a free web page and profile Selit.net - FREE Classified Ads for every city and state in North America - Personals, Jobs, Auto, Business
Sign Up | Web | Discuss | Celebrities | People | Classifieds


Welcome to the NEW UGN (Undergrounds Network), formerly known as Undergrounds.com!
Browse our ever growing web directory or any of the other entertainment sites, absolutely free. Please note that some content has been sourced from the ODP.

Top / Computers / Programming / Languages / Miranda

Web SitesSuggest a Site
A Logic for Miranda, Revisited
Article by Simon Thompson.
An Overview of Miranda
Article by David Turner.
From ACT-ONE to Miranda, a Translation Experiment
Article by Nathan Charles and Howard Bowman and Simon Thompson.
Functional Programming
Overview, uses Miranda.
Miranda - The Craft of Functional Programming
book by Simon Thompson.
Miranda examples
A few examples of Miranda usage from a college course.
Miranda Functional Programming System
A few examples.
Miranda in Isabelle
Article by Steve Hill and Simon Thompson.
Programming Language Semantics using Miranda
Technical report by Simon Thompson. Abstract and download.
Programming with Miranda
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).
The Miranda Programming Language
Overview of the language, areas of application and some sample programs.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
SEO
Terms | Privacy | Contact
All images, logos and text are Copyright © 2012 Perfectpeople.net Inc. All Rights Reserved.