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{pratikakis-al-08, author = "Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks and Iulian Neamtiu", title = "Formalizing Soundness of Contextual Effects", year = "2008", volume = "5170", pages = "262--277", editor = "Otmane A{\"i}t Mohamed and C{\'e}sar Mu{\~n}oz and Sofi{\`e}ne Tahar", publisher = "Springer", series = "LNCS", booktitle = "TPHOLs", url = "http://dx.doi.org/10.1007/978-3-540-71067-7_22", }