Towards a mechanized metatheory of standard ML.

Daniel K. Lee, Karl Crary, Robert Harper

Browse the full POPL paper archive.