Caml

Website: caml.inria.fr

Designed by: Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light)

Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose programming language which is a dialect of the ML programming language family.

Caml was developed in France at INRIA and ENS.

Caml is statically typed, strictly evaluated, and uses automatic memory management.

OCaml, the main descendant of Caml, adds many features to the language, including an object layer.