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{crary-cc-99, author = "Karl Crary and David Walker and Greg Morrisett", title = "Typed Memory Management in a Calculus of Capabilities", year = "1999", pages = "262--275", mon = jan, booktitle = "{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL})", url = "http://www.cs.cornell.edu/talc/papers/capabilities.pdf", }