Directory of Miranda Resources

Home > Computers > Programming > Languages > Miranda

Subcategories

• Haskell

Resources in This Category

• A Logic for Miranda, Revisited

  http://www.cs.kent.ac.uk/pubs/1995/63/
  Article by Simon Thompson.

• From ACT-ONE to Miranda, a Translation Experiment

  http://www.cs.kent.ac.uk/pubs/1997/213/
  Article by Nathan Charles and Howard Bowman and Simon Thompson.

• Functional Programming

  http://www.cs.ucl.ac.uk/teaching/3C11/
  An online book by Chris Clack about the Miranda functional programming language and exercises.

• Miranda in Isabelle

  http://www.cs.kent.ac.uk/pubs/1995/209/
  Article by Steve Hill and Simon Thompson.

• Miranda Programming Language

  http://en.wikipedia.org/wiki/Miranda_programming_language
  Growing article, with links to many related topics. [Wikipedia]

• Miranda: The Craft of Functional Programming

  http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/
  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]

• Programming Language Semantics Using Miranda

  http://www.cs.kent.ac.uk/pubs/1995/59/
  By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]

• Programming with Miranda

  http://www.cs.ucl.ac.uk/staff/C.Clack/papers/Books/progmira.html
  A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).

• The Miranda Programming Language

  http://groups.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html
  Overview of the language, areas of application and some sample programs.

Related Categories

• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Interpreted > Functional

 

Home > Computers > Programming > Languages > Miranda

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us