The Caml language

Caml is a strongly-typed functional programming language
from the ML family. OCaml (Objective Caml) and Caml Light are
two open source implementations of Caml developed at
INRIARocquencourt,
projet Cristal.