@inproceedings{DBLP:conf/aplas/ZhaoZZ10,
author = {Jianzhou Zhao and
Qi Zhang and
Steve Zdancewic},
editor = {Kazunori Ueda},
title = {Relational Parametricity for a Polymorphic Linear Lambda Calculus},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {344--359},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_24},
doi = {10.1007/978-3-642-17164-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhaoZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
