submit urlsubmit rss feedadd directory

article

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

More on [ Miranda ]


directory of related categories

 
 
directory of related topics

Functional :: Languages
Garbage Collected :: Languages

 
Miranda RSS feed
Subscribe to Miranda RSS feed

directory of related sites

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.

Miranda related videos
Stars in my Eyes - Miranda Kerr inspired ultra-simple, natural makeup
Next Video
Miranda related videos

 

HOMEADVERTISINGABOUT US

articlesartsbusinesscomputersgameshealthhospitalshomekids & teensnewsmobilephysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld


Submit a Site About Become an Editor