CAML(ID:1460/cam009)
- Country: fr
- Began: 1989
- Published: 1989
for Categorical Abstract Machine Language.
G. Huet and G. Cousineau.
A dialect of ML intermediate between LCF ML and SML. Lazy data structures. Built on the Categorical Abstract Machine.
People:
Related languages
ML |
=> |
CAML | |
Dialect of |
CAML |
=> |
CamlFlight | |
Extension of |
CAML |
=> |
Zinc | |
Implementation |
Samples:
References:
Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel; "The Categorical Abstract Machine" FPCA 1985: 50-64 view details
Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel; Suárez, Ascánder "Combinateures, Catégoriques et Implémentation des Languages Fonctionnels" Combinators and Functional Programming Languages 1985: 85-103 view details
Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel "The Categorical Abstract Machine" Sci. Comput. Program. 8(2): 173-202 (1987) view details
Weis P. et al, "The CAML Reference Manual", TR INRIA-ENS, 1989. view details
External link: Cite seer
Resources
|