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
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
JFLA'25
Typing overloading (JFLA)
Typing overloading (Extended Wip)
Bijection C/λ-calculus
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", }