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

by David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Bob Harper, Peter Lee
Venue:In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation