Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Programming / Languages / Miranda /

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 Umich.edu  ~   Site Info   Whois   Trace Route   RBL Check   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 Ucl.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   An Overview of Miranda Article by David Turner. http://www.freaknet.org/martin/libri/Miranda/Overview.html Freaknet.org  ~   Site Info   Whois   Trace Route   RBL Check   Functional Programming An online book by Chris Clack about the Miranda functional programming language and exercises. http://www.cs.ucl.ac.uk/teaching/3C11/ Ucl.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   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/ Kent.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   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/ Kent.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   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/ Kent.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Miranda in Isabelle Article by Steve Hill and Simon Thompson. http://www.cs.kent.ac.uk/pubs/1995/209/ Kent.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   A Logic for Miranda, Revisited Article by Simon Thompson. http://www.cs.kent.ac.uk/pubs/1995/63/ Kent.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Miranda Programming Language Growing article, with links to many related topics. [Wikipedia] http://en.wikipedia.org/wiki/Miranda_programming_language Wikipedia.org  ~   Site Info   Whois   Trace Route   RBL Check