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
@InProceedings{zhao-zhang-zdancewic-10, author = "Jianzhou Zhao and Qi Zhang and Steve Zdancewic", title = "Relational Parametricity for a Polymorphic Linear Lambda Calculus", year = "2010", volume = "6461", pages = "344--359", editor = "Kazunori Ueda", publisher = "Springer", series = "LNCS", booktitle = "APLAS", url = "http://dx.doi.org/10.1007/978-3-642-17164-2", }