Caml
Top: Computers: Programming: Languages: ML: Caml  (3)

See also:

This category in other languages:
   
French  (5)  

  • Archive of Caml Weekly News - Mailing list archive from 2001.11.27 to present, all HTML.
  • The Caml Language - Strongly-typed, safe, automatic statically type-checked functional programming language from ML family. Powerful, easy to learn. s, documents, resources, downloads. English, Français. [Open Source, INRIA]
  • SPIKE - 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. , downloads.
  • "Caml" search on:  
 AltaVista - A9 - AOL - Ask - Clusty - Gigablast - Google - Lycos - MSN - Yahoo


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor