Search for
Home > Computers > Programming > Languages >

Miranda
New! Submit a site
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
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 Functional Programming System - A few examples.
 
Miranda System Manual, 1989 - Menu-driven reference manual.
 
Miranda examples - A few examples of Miranda usage from a college course.
 
Miranda in Isabelle - Article by Steve Hill and Simon Thompson.
 
Miranda: A Functional Programming Language - A few general examples, explanations.
 
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  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek