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
Home
–
Contact
@InProceedings{chargueraud-pottier-08, author = "Arthur Chargu{\'e}raud and Fran{\c c}ois Pottier", title = "Functional translation of a calculus of capabilities", year = "2008", pages = "213--224", editor = "James Hook and Peter Thiemann", publisher = "ACM", booktitle = "Proceeding of the 13th {ACM} {SIGPLAN} international conference on Functional programming ({ICFP'08)}", }