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

 
 Computers » Programming » Languages » ML » Caml


 Categories

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]

http://caml.inria.fr/

[more pages from this URL] 


Mailing list archive from 2001.11.27 to present, all HTML.

http://alan.petitepomme.net/cwn/

[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.

http://www.loria.fr/equipes/cassis/softwares/spike/

[more pages from this URL] 



Easy Web Admin


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