Cousineau, Guy; Curien, Pierre-Louis; Mauny, Michel; "The Categorical Abstract Machine" FPCA 1985: 50-64

Languages mentioned

• CAML {1989}