Tarditi, DavidMorrisett, Greg GregoryCheng, PerryStone, ChristopherHarper, RobertLee, Peter2009-04-211996Tarditi, David, Greg Morrisett, Peter Cheng, Christopher Stone, Robert Harper, and Peter Lee. Til: a type-directed optimizing compiler for ml. In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, pages 181-192, New York, NY, USA, 1996. ACMhttp://nrs.harvard.edu/urn-3:HUL.InstRepos:2797452en-US10.1145/231379.231414