TIL: A Type-Directed Optimizing Compiler for ML.

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

Browse the full PLDI paper archive.