Caml

Caml is a multi-paradigm, general-purpose, high-level functional programming language and a dialect of the ML family. It was developed in France at INRIA and the École normale supérieure in Paris.