Andrew W. Appel, David B. MacQueen: A Standard ML compiler. FPCA 1987: 301-324