Towards a mechanized metatheory of Standard ML (2007)

by D K Lee, K Crary, R Harper
Venue:Proc. of the 34th ACM Symp. on Principles of Programming Languages, POPL 2007