Engineering formal metatheory (2008)

by B Aydemir, A Charguéraud, B C Pierce, R Pollack, S Weirich
Venue:ACM SIGPLAN Notices