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
@InProceedings{pottier-08, author = "Fran{\,c}ois Pottier", title = "Hiding Local State in Direct Style: {A} Higher-Order Anti-Frame Rule", year = "2008", pages = "331--340", publisher = "IEEE Computer Society", booktitle = "IEEE Symposium on Logic in Computer Science ({LICS})", url = "http://doi.ieeecomputersociety.org/10.1109/LICS.2008.16", }