Haskell@

» A Logic for Miranda, Revisited    Article by Simon Thompson.    http://www.cs.kent.ac.uk/pubs/1995/63/

» An Overview of Miranda    Article by David Turner.    http://www.freaknet.org/martin/libri/Miranda/Overview.html

» From ACT-ONE to Miranda, a Translation Experiment    Article by Nathan Charles and Howard Bowman and Simon Thompson.    http://www.cs.kent.ac.uk/pubs/1997/213/

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

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

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

» Miranda: The Craft of Functional Programming    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]    http://www.cs.kent.ac.uk/people/staff/sjt/Miranda_craft/

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

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

» The Miranda Programming Language    Overview of the language, areas of application and some sample programs.    http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html

Usenet comp.lang.functional - news: - Google Groups