Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{aydemir-popl-08, author = "Brian E. Aydemir and Arthur Chargu{\'e}raud and Benjamin C. Pierce and Randy Pollack and Stephanie Weirich", title = "Engineering formal metatheory", year = "2008", pages = "3--15", editor = "George C. Necula and Philip Wadler", publisher = "ACM", booktitle = "Proceeding of the 35th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages ({POPL})", url = "http://arthur.chargueraud.org/research/2007/binders/", }