R.: Toward a mechanized metatheory of Standard ML (2007)

by D K Lee, K Crary, Harper
Venue:In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages