Towards a mechanized metatheory of Standard ML (0)

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