Mechanized metatheory for the masses: The POPLmark challenge (2005)

by Brian E. Aydemir , Aaron Bohannon , Matthew Fairbairn , J. Nathan Foster , Benjamin C. Pierce , Peter Sewell , Dimitrios Vytiniotis , Stephanie Weirich , Steve Zdancewic
Venue:In Theorem Proving in Higher Order Logics: 18th International Conference, number 3603 in LNCS
Citations:136 - 15 self