Computers

Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.

56203 resources

Computers/Programming/Languages/Miranda

Back

Miranda resources

Programming with Miranda

A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).

Functional Programming

An online book by Chris Clack about the Miranda functional programming language and exercises.

Programming Language Semantics Using Miranda

By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]

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]

From ACT-ONE to Miranda, a Translation Experiment

Article by Nathan Charles and Howard Bowman and Simon Thompson.

Miranda in Isabelle

Article by Steve Hill and Simon Thompson.

A Logic for Miranda, Revisited

Article by Simon Thompson.

Miranda Programming Language

Growing article, with links to many related topics. [Wikipedia]