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.089  seconds ]  


 
 1 - The Caml Language Browse Website open in new window
    
  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]


[more pages from this URL] 


 
 2 - Archive of Caml Weekly News Browse Website open in new window
    
  07-January-2012 
Mailing list archive from 2001.11.27 to present, all HTML.


[more pages from this URL] 


 
 3 - http://www.loria.fr/equipes/cassis/softwares/spike/ Browse Website open in new window
    
  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.


[more pages from this URL] 




Easy Web Admin

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