TIL: A Type-Directed Optimizing Compiler for ML (1996)

by David R Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, Peter Lee
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation