the entire directory only in this category

Caml

You have found the way to Caml on ML:

PowerTao Home » Computers » Programming » Languages » ML » Caml

Objective Caml@  (25)

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)

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.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor