H ? « ‹ ← → › »

Language peer sets for CAML:
France↑
France/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

CAML(ID:1460/cam009)

alternate simple view
Country: France
Designed 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, Miche (1985) Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel; "The Categorical Abstract Machine" FPCA 1985: 50-64
  • Cousineau, Guy; Curien, Pierre-Louis; Mauny, Miche (1985) 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
  • Cousineau, Guy; Curien, Pierre-Louis; Mauny, Miche (1987) Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel "The Categorical Abstract Machine" Sci. Comput. Program. 8(2): 173-202 (1987)
  • Weis P. et al, (1989) Weis P. et al, "The CAML Reference Manual", TR INRIA-ENS, 1989. Cite seer
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder