Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel "The Categorical Abstract Machine" Sci. Comput. Program. 8(2): 173-202 (1987)

Languages mentioned

• CAML {1989}