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.


Retrieved from "http://www.mywiseowl.com/articles/CAML"

This page has been accessed 140 times. This page was last modified 14:26, 12 Oct 2004. All text is available under the terms of the GNU Free Documentation License (see Copyrights for details).