Miranda - Musharof Chy - 企业 | ZH

Programming with Miranda

Musharof Chy

2579 次查看

创建于 11 个月前

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

441 浏览次数

2025年1月25日

Functional Programming

Musharof Chy

2579 次查看

创建于 11 个月前

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

631 浏览次数

2025年1月25日

Programming Language Semantics Using Miranda

Musharof Chy

2579 次查看

创建于 11 个月前

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

331 浏览次数

2025年1月25日

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 浏览次数

2025年1月25日

From ACT-ONE to Miranda, a Translation Experiment

Musharof Chy

2579 次查看

创建于 11 个月前

Article by Nathan Charles and Howard Bowman and Simon Thompson.

871 浏览次数

2025年1月25日

Miranda in Isabelle

Musharof Chy

2579 次查看

创建于 11 个月前

Article by Steve Hill and Simon Thompson.

346 浏览次数

2025年1月25日

A Logic for Miranda, Revisited

Musharof Chy

2579 次查看

创建于 11 个月前

Article by Simon Thompson.

525 浏览次数

2025年1月25日

Miranda Programming Language

Musharof Chy

2579 次查看

创建于 11 个月前

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

759 浏览次数

2025年1月25日

The Miranda Programming Language

Musharof Chy

2579 次查看

创建于 11 个月前

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

99 浏览次数

2025年1月25日