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-protzenko-13, author = {Fran\c{c}ois Pottier and Jonathan Protzenko}, title = {Programming with Permissions in Mezzo}, journal = {SIGPLAN Not.}, booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} International Conference on Functional Programming}, month = sep, year = {2013}, volume = {48}, number = {9}, publisher = {ACM}, pages = {173--184}, series = {ICFP '13}, doi = {10.1145/2500365.2500598}, }