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


Related Categories:
   Yurtseven.ORG » Programming » Languages » ML » Objective Caml  [22]
   
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  1 - 3  of total  3  results  [ 0.104  seconds ]  


 
   
  07-January-2012 
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]



 
   
  07-January-2012 
Mailing list archive from 2001.11.27 to present, all HTML.



 
   
  07-January-2012 
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.





Easy Web Admin


Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us