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

by D Tarditi, J Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
Venue:In Programming Languages Design and Implementation