YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078

 Computers » Programming » Languages » ML » Caml


Objective Caml (22)  

 Web Pages    1 - 3   of   3

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]


[more pages from this URL] 

Mailing list archive from 2001.11.27 to present, all HTML.


[more pages from this URL] 

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.


[more pages from this URL] 

Easy Web Admin

Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact