YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname. Price: USD 499.900,- Phone: +49(176)74919078
HOME
Programming
Languages
Miranda
Alphabetical Order:
C
D
E
Z
Sort by
Date
Alphabetical
Showing
1
-
10
of total
10
results
[ 0.453 seconds ]
1 -
Miranda Programming Language
07-January-2012
Growing article, with links to many related topics. [Wikipedia]
[more pages from this URL]
2 -
Miranda: The Craft of Functional Programming
07-January-2012
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]
[more pages from this URL]
3 -
Functional Programming
07-January-2012
An online book by Chris Clack about the Miranda functional programming language and exercises.
[more pages from this URL]
4 -
The Miranda Programming Language
07-January-2012
Overview of the language, areas of application and some sample programs.
[more pages from this URL]
5 -
Miranda in Isabelle
07-January-2012
Article by Steve Hill and Simon Thompson.
[more pages from this URL]
6 -
Programming Language Semantics Using Miranda
07-January-2012
By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent]
[more pages from this URL]
7 -
From ACT-ONE to Miranda, a Translation Experiment
07-January-2012
Article by Nathan Charles and Howard Bowman and Simon Thompson.
[more pages from this URL]
8 -
A Logic for Miranda, Revisited
07-January-2012
Article by Simon Thompson.
[more pages from this URL]
9 -
An Overview of Miranda
07-January-2012
Article by David Turner.
[more pages from this URL]
10 -
Programming with Miranda
07-January-2012
A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994).
[more pages from this URL]
www.olimposturkmen.com
Add URL
|
My Sites
|
My Account
|
Login
|
Contact Us