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{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", }