CAML may mean:
Comparison and Review :: Languages
Functional :: Compiled
Functional :: Languages
Garbage Collected :: Languages
Open Source :: Languages

Archive of Caml Weekly News - CWN from 2001.11.27 to present, all HTML.
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.
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]
| Compiling Dynamic Languages | |
| Next Video | |