YURTSEVEN.ORG is completely for sale, including Databases and Domainname.    Call with Whatsapp
View Stats!View Stats!
     
     
Yurtseven.ORG
 Yurtseven.ORG
 

 
HOME Programming Programming Languages Languages ML ML Caml Caml


Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  1 - 3  of total  3  results  [ 0.547  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] 




SUPERINTELLIGENCE-HUMANITY
The Book of the 21. Century