YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname. Price: USD 499.999,- Phone: +49(176)74919078
Computers
»
Programming
»
Languages
»
ML
» Caml
Categories
Objective Caml
(22)
Web Pages 1 - 3 of 3
1 -
The Caml Language
Strongly-typed, safe, automatic statically type-checked functional programming language from ML family. Powerful, easy to learn. Descriptions, documents, resources, downloads. English, Francais. [Open Source, INRIA]
http://caml.inria.fr/
[more pages from this URL]
2 -
Archive of Caml Weekly News
Mailing list archive from 2001.11.27 to present, all HTML.
http://alan.petitepomme.net/cwn/
[more pages from this URL]
3 -
http://www.loria.fr/equipes/cassis/softwares/spike/
Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.
http://www.loria.fr/equipes/cassis/softwares/spike/
[more pages from this URL]
Add URL
|
My Listings
|
My Account
|
New Membership
|
Contact