Engineering formal metatheory.

Brian E. Aydemir, Arthur Charguraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich

Browse the full POPL paper archive.