Objective Caml

Objective Caml is the latest implementation of the Caml dialect of ML. The main novelties compared with its ancestor, Caml Light, are:

Full support for objects and classes -- here combined for the first time with ML-style type reconstruction.
A powerful module calculus in the style of Standard ML (but retaining separate compilation).
A high-performance native code compiler (in addition to a Caml Light-style bytecode compiler).

The Objective Caml user's manual, including an introduction to Objective Caml.
Questions and Answers about Objective Caml.
Transfer the distribution.
What's new with each release.
Related papers.
General info on the Caml language, including the highly relevant Frequently Asked Questions about Caml, and the archives of the Caml mailing list.
Objective Caml is Open Source. For more details see the license.