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 drafts
Typing overloading
Bijection C/λ-calculus
Home
–
Contact
@techreport{Ler05, author = "Xavier Leroy", title = "A locally nameless solution to the POPLmark challenge", year = "2007", number = "6098", mon = "January", institution = "INRIA", }