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
@unpublished{pottier-ssphs-11, author = {François Pottier}, title = {Syntactic soundness proof of a type-and-capability system with hidden state}, year = {2011}, mon = jul, note = {Submitted for publication}, }