Subcategories 1

Related categories 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.

Other languages 1

[Computer Mozilla]
Last update:
January 2, 2007 at 19:58:03 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business