Engineering formal metatheory (0)

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