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

by David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Bob Harper, Peter Lee
Venue:ML,’’ in Proceedings, ACM SIGPLAN PLDI ’96