Miranda - Musharof Chy - الشركات | AR

Programming with Miranda

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

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

441 مشاهدات

٢٥ يناير ٢٠٢٥

Functional Programming

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

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

631 مشاهدات

٢٥ يناير ٢٠٢٥

Programming Language Semantics Using Miranda

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

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

331 مشاهدات

٢٥ يناير ٢٠٢٥

Miranda: The Craft of Functional Programming

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

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

309 مشاهدات

٢٥ يناير ٢٠٢٥

From ACT-ONE to Miranda, a Translation Experiment

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

Article by Nathan Charles and Howard Bowman and Simon Thompson.

871 مشاهدات

٢٥ يناير ٢٠٢٥

Miranda in Isabelle

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

Article by Steve Hill and Simon Thompson.

346 مشاهدات

٢٥ يناير ٢٠٢٥

A Logic for Miranda, Revisited

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

Article by Simon Thompson.

525 مشاهدات

٢٥ يناير ٢٠٢٥

Miranda Programming Language

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

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

759 مشاهدات

٢٥ يناير ٢٠٢٥

The Miranda Programming Language

Musharof Chy

2579 مشاهدات

تم إنشاؤه منذ 11 أشهر

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

99 مشاهدات

٢٥ يناير ٢٠٢٥