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

by D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee
Venue:in SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'96),