-
It is Time to Mechanize Programming Language
Metatheory.
Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, and Steve
Zdancewic.
In VSTTE 2005, 5pp.
[ bib |
doi |
project page |
pdf |
http |
abstract ]
-
Mechanized metatheory for the masses: The POPLmark
Challenge.
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan
Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey
Washburn, Stephanie Weirich, and Steve Zdancewic.
In TPHOLs 2005.
[ bib |
doi |
project page |
ps |
pdf |
http |
abstract ]