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{pilkiewicz-pottier-11, author = {Alexandre Pilkiewicz and François Pottier}, title = {The essence of monotonic state}, year = {2011}, mon = JAN, address = {Austin, Texas}, booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} Workshop on Types in Language Design and Implementation (TLDI)}, }