Computing (FOLDOC) dictionary
Categorical Abstract Machine Language
Jump to user comments
language (Originally "CAML" - Categorical Abstract Machine
Language) A version of
ML by G. Huet, G. Cousineau, Ascander
Suarez, Pierre Weis, Michel Mauny and others of
INRIA and
[in what sense?].
run-time system.
The CAML V3.1 implementation added
lazy and
mutable data
structures, a "
grammar" mechanism for interfacing with the
complete library. CAML V3 is often nicknamed "heavy CAML",
because of its heavy memory and CPU requirements compared to
in 1990 Xavier Leroy and Damien Doligez designed a new
implementation called
Caml Light, freeing the previous
implementation from too many experimental high-level features,
and more importantly, from the old Le_Lisp back-end.
class layer in 1996, the project's name was changed to
["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS,
1989].
(2003-04-12)