Towards a mechanized metatheory of Standard ML (2007)

by Daniel K Lee, Karl Crary, Robert Harper
Venue:In POPL ’07: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages