Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
The RE command
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Home
–
Contact
@InProceedings{poplmark, author = "Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic", title = "Mechanized Metatheory for the Masses: The \textsc{PoplMark} Challenge", year = "2005", mon = aug, publisher = "Springer", series = "LNCS", booktitle = "International Conference on Theorem Proving in Higher Order Logics (TPHOLs)", url = "http://www.cis.upenn.edu/~stevez/papers/ABFF+05.pdf", }