Gourt > Computers > Programming > Languages > Miranda
Miranda may refer to:
Law
- Miranda v. Arizona, a landmark 1966 United States Supreme Court case, which stated that criminal suspects must be informed of their right to consult with an attorney and of their right against self-incrimination prior to questioning by police
- Miranda warning, a police warning that is given to criminal suspects in police custody in the United States before they are asked questions relating to the commission of crimes
- Ernesto Miranda, defendant and appellant of Miranda v. Arizona
Functional :: Languages
Garbage Collected :: Languages
A Logic for Miranda, Revisited - Article by Simon Thompson.
Meta Description: [ A Logic for Miranda, Revisited, Simon Thompson, 1995, Computer Science, University of Kent at Canterbury ]
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.
Meta Description: [ From ACT-ONE to Miranda, a Translation Experiment, Nathan Charles and Howard Bowman and Simon Thompson, 1997, Computer Science, University of Kent at Canterbury ]
Functional Programming - An online book by Chris Clack about the Miranda functional programming language and exercises.
Miranda Functional Programming System - A few examples.
Miranda in Isabelle - Article by Steve Hill and Simon Thompson.
Meta Description: [ Miranda in Isabelle, Steve Hill and Simon Thompson, 1995, Computer Science, University of Kent at Canterbury ]
Miranda: The Craft of Functional Programming - Descriptions, reviews, purchase source. [Amazon.com]
Meta Description: [ Amazon.com: Miranda: The Craft Of Functional Programming (International Computer Science Series): Books: S. Thompson by S. Thompson ]
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]
Programming Language Semantics Using Miranda - By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
Meta Description: [ Programming Language Semantics using Miranda, Simon Thompson, 1995, Computer Science, University of Kent at Canterbury ]
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.
| Stars in my Eyes - Miranda Kerr inspired ultra-simple, natural makeup | |
| Next Video | |
