| Objective CAML (Originally "CAML" - Categorical Abstract Machine Language) A version of by G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny and others of . CAML is intermediate between and [in what sense?]. It has functions, with types, user-defined and , and . It is built on a proprietary run-time system. The CAML V3.1 implementation added and data structures, a "" mechanism for interfacing with the , tools, high-performance arithmetic, and a complete library. CAML was renamed "Objective CAML" in 1996. [Why?] See also . {(ftp://ftp.inria.fr/lang/caml/)}. {(ftp://ftp.inria.fr/INRIA/caml/V3.1)}. E-mail: Pierre Weis , (bugs). Mailing list: . newsgroup: {news:comp.lang.ml}. ["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS, 1989]. [Home page?] (2000-07-06) |
на заглавную 
к началу страницы