A Type-Based Compiler for Standard ML.

Zhong Shao, Andrew W. Appel

Browse the full PLDI paper archive.