Engineering formal metatheory. (2008)

by Brian E Aydemir, Arthur Chargueraud, Benjamin C Pierce, Randy Pollack, Stephanie Weirich
Venue:In Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008,