Caml

Caml is a functional programming language in the ML family, designed in France during the mid-1980s by Gerard Huet, Guy Cousineau, Ascander Suarez, Pierre Weis and Michel Mauny at INRIA and the Ecole normale superieure in Paris. Its name originally stood for Categorical Abstract Machine Language. The first implementation was written in Lisp by Ascander Suarez in 1987, after which Xavier Leroy and Damien Doligez wrote a lighter implementation in C known as Caml Light, with the original version later nicknamed Heavy Caml because of its resource demands. Caml is statically typed with type inference, strict evaluation and automatic memory management, supporting both functional and imperative programming. Caml Special Light, a later version that added a module system, was extended with object oriented features to become OCaml, which is Caml's main descendant. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/