David Tarditi J. Gregory Morrisett Perry Cheng Christopher A. Stone Robert Harper Peter Lee 0001 TIL: A Type-Directed Optimizing Compiler for ML. 181-192 1996 conf/pldi/1996 PLDI db/conf/pldi/pldi96.html#TarditiMCSHL96 http://doi.acm.org/10.1145/231379.231414