CAML (Categorical Abstract Machine Language) is a version of ML developed by G. Huet, G. Cousineau, Ascánder Suárez, 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 Special Light added a powerful (applicative) module system to the core language. Starting from 1995, an object layer was added, and since then, the language has been renamed Objective Caml. This article refers to the functional programming language called ML; the acronym ML is also used to refer to machine language. ... The Institut national de recherche en informatique et en automatique (INRIA) is a French national research institution focusing on computer science, control theory and applied mathematics. ... Late Latin Plural entia Mid 16th Century (1530 - 1569) Philosophy Something which has existence; a being, an entity as opposed to an attribute or quality. ... Objective Caml, also known as OCaml or OCaml for short, is an advanced programming language that is part of the ML family. ...