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
Home
–
Contact
@InProceedings{faehndrich-deline-02, author = "Manuel F{\"a}hndrich and Robert DeLine", title = "Adoption and focus: practical linear types for imperative programming", year = "2002", pages = "13--24", mon = jun, booktitle = "{ACM Conference on Programming Language Design and Implementation (PLDI)}", url = "http://research.microsoft.com/~maf/Papers/pldi02.pdf", }