@inproceedings{886abcc05b6311de8664000ea68e967b,
title = "Relational Parametricity for References and Recursive Types",
author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",
year = "2009",
language = "English",
isbn = "978-1-60558-420-1",
pages = "91--104",
editor = "Andrew Kennedy and Amal Ahmed",
booktitle = " Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.",
publisher = "Association for Computing Machinery",
address = "United States",
note = "2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation ; Conference date: 24-01-2009 Through 24-01-2009",
}