A strongly typed language based on ML. Both Caml and ML are functional programming languages. Caml adds a module system, and object orientation to ML.

Caml Homepage: http://caml.inria.fr/