CAML
CAML, Categorical Abstract Machine Language, is a version of ML developed by G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny and others from both INRIA and ENS. Implemented in Lisp, it was nicknamed Heavy CAML because of its memory and CPU requirements relative to its successor, CAML Light, which was implemented in C by Xavier Leroy and Damien Doligez. In addition to a complete rewriting, CAML Light added a powerful module system to the core language. Starting from 1995, an object layer was added, and since then, the language has been renamed Objective Caml.