@inproceedings{10.1007/11541868_4,
    Abstract = {How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machine-checked proofs?},
    Address = {Berlin, Heidelberg},
    Author = {Aydemir, Brian E. and Bohannon, Aaron and Fairbairn, Matthew and Foster, J. Nathan and Pierce, Benjamin C. and Sewell, Peter and Vytiniotis, Dimitrios and Washburn, Geoffrey and Weirich, Stephanie and Zdancewic, Steve},
    BookTitle = {Theorem Proving in Higher Order Logics},
    Editor = {Hurd, Joe and Melham, Tom},
    File = {Mechanized metatheory for the masses- The POPLmark challenge - fulltext - a - a - a - f.pdf},
    ISBN = {978-3-540-31820-0},
    Pages = {50--65},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
    Year = {2005},
    date-added = {2020-03-12 10:30:42 +0100},
    date-modified = {2020-03-12 10:30:42 +0100},
    doi = {10.1007/11541868_4}
}

@inproceedings{10.1007/11541868_4, Abstract = {How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machine-checked proofs?}, Address = {Berlin, Heidelberg}, Author = {Aydemir, Brian E. and Bohannon, Aaron and Fairbairn, Matthew and Foster, J. Nathan and Pierce, Benjamin C. and Sewell, Peter and Vytiniotis, Dimitrios and Washburn, Geoffrey and Weirich, Stephanie and Zdancewic, Steve}, BookTitle = {Theorem Proving in Higher Order Logics}, Editor = {Hurd, Joe and Melham, Tom}, File = {Mechanized metatheory for the masses- The POPLmark challenge - fulltext - a - a - a - f.pdf}, ISBN = {978-3-540-31820-0}, Pages = {50--65}, Publisher = {Springer Berlin Heidelberg}, Title = {Mechanized Metatheory for the Masses: The PoplMark Challenge}, Year = {2005}, date-added = {2020-03-12 10:30:42 +0100}, date-modified = {2020-03-12 10:30:42 +0100}, doi = {10.1007/11541868_4} }