Engineering formal metatheory (2008)

by Brian Aydemir, Randy Pollack
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages