TIL: A type-directed optimizing compiler for (1996)

by David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
Venue:ML, ACM SIGPLAN Conference on Programming Language Design and Implementation