Top : Computers : Programming : Languages :
Miranda
Websites
Overview of the language, areas of application and some sample programs.
site exerpt
The Miranda Programming Language Click below to go directly to a specific section: History Significant Language Features Areas of Application Sample Programs Related Links Printed References Acknowledgments History Miranda was developed in 1985-86 by David Turner, and is now currently being marketed by Research...By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
http://www.cs.ukc.ac.uk/pubs/1995/59/
Article by Simon Thompson.
http://www.cs.ukc.ac.uk/pubs/1995/63/
Article by Steve Hill and Simon Thompson.
http://www.cs.ukc.ac.uk/pubs/1995/209/
A few examples.
http://web.dcs.bbk.ac.uk/~andrew/sg/info/miranda.html
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).
site exerpt
progmira.html }X]o8 h s _L mH-I nJ V y2 WA5q MPR g vE1o DjJltE0zI hT2ޑZ 9 ik Q qj-bH z,_ n mKy y YS Sac U k W R 7 J PoPJ p zvCOo p8mZ 5 QY=d t vhC yٗOY u j E z...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.ukc.ac.uk/people/staff/sjt/Miranda_craft/
Article by Nathan Charles and Howard Bowman and Simon Thompson.
http://www.cs.ukc.ac.uk/pubs/1997/213/
Descriptions, reviews, purchase source. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0201422794
Article by David Turner.
site exerpt
An Overview of Miranda Miranda is an advanced functional programming system which runs under the UNIX operating system The aim of the Miranda system is to provide a modern functional language, embedded in an `industrial quality programming environment. It is now being used at...An online book by Chris Clack about the Miranda functional programming language and exercises.
site exerpt
Functional Programming (D16 3C11) The problem classes are run by Miroslaw Milewski. This page, and the associated pages, are likely to be updated as the course progresses. It was last updated on 10/1/05, but still contains some data from previous years. You can obtain...By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
site exerpt
Computer Science: Publication: Programming Language Semantics using Miranda This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages. In particular we give a Miranda denotational description of a substantial subset of a Pascal-like language, describing a...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]
site exerpt
Miranda: The Craft of Functional Programming This is the home page for backup materials for this introductory text on functional programming in Miranda. The Preface of the book explains its general approach, and the contents give a guide to its coverage. Also available are the Miranda...Article by Nathan Charles and Howard Bowman and Simon Thompson.
site exerpt
Computer Science: Publication: From ACT-ONE to Miranda, a Translation Experiment It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with...Article by Steve Hill and Simon Thompson.
site exerpt
Computer Science: Publication: Miranda in Isabelle This paper describes our experience in formalising arguments about the Miranda functional programming language in Isabelle. After explaining some of the problems of reasoning about Miranda, we explain our two different approaches to encoding Miranda in Isabelle. We conclude by...Article by Simon Thompson.
site exerpt
Computer Science: Publication: A Logic for Miranda, Revisited This paper expands upon work begun in the author's paper A Logic for Miranda Formal Aspects of Computing 1 (1989 in building a logic for the Miranda functional programming language. After summarising the work in that paper, a translation of...