Search
The Directory
The Web
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