Miranda - Musharof Chy - Entreprises | FR

Programming with Miranda

Musharof Chy

2579 vues

Créé il y a 11 mois

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

441 vues

25 janv. 2025

Functional Programming

Musharof Chy

2579 vues

Créé il y a 11 mois

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

631 vues

25 janv. 2025

Programming Language Semantics Using Miranda

Musharof Chy

2579 vues

Créé il y a 11 mois

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

331 vues

25 janv. 2025

Miranda: The Craft of Functional Programming

Musharof Chy

2579 vues

Créé il y a 11 mois

By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programmin...

309 vues

25 janv. 2025

From ACT-ONE to Miranda, a Translation Experiment

Musharof Chy

2579 vues

Créé il y a 11 mois

Article by Nathan Charles and Howard Bowman and Simon Thompson.

871 vues

25 janv. 2025

Miranda in Isabelle

Musharof Chy

2579 vues

Créé il y a 11 mois

Article by Steve Hill and Simon Thompson.

346 vues

25 janv. 2025

A Logic for Miranda, Revisited

Musharof Chy

2579 vues

Créé il y a 11 mois

Article by Simon Thompson.

525 vues

25 janv. 2025

Miranda Programming Language

Musharof Chy

2579 vues

Créé il y a 11 mois

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

759 vues

25 janv. 2025

The Miranda Programming Language

Musharof Chy

2579 vues

Créé il y a 11 mois

Overview of the language, areas of application and some sample programs.

99 vues

25 janv. 2025