CAML[1]

Categorical Abstract Machine Language

G. Huet and G. Cousineau

A dialect of ML[2] intermediate between LCF ML and SML[1]. Lazy data structures. Built on the Categorical Abstract Machine.

"The CAML Reference Manual", P. Weis et al, TR INRIA-ENS, 1989.