Top: Computers: Programming: Languages: ML: Caml:

See also:

• Computers: Programming: Languages: Comparison and Review  (119)
• Computers: Programming: Languages: Compiled: Functional  (0)
• Computers: Programming: Languages: Functional  (48)
• Computers: Programming: Languages: Garbage Collected  (4)
• Computers: Programming: Languages: Open Source  (2)

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. Descriptions, 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. Description, downloads.

You can also try your search with one of the following great Search Engines