TIL: a type-directed, optimizing compiler for ML (with retrospective)

David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee

Browse the full PLDI paper archive.