%0 Conference Paper %1 conf/tldi/BirkedalST09 %A Birkedal, Lars %A Støvring, Kristian %A Thamsborg, Jacob %B TLDI %D 2009 %E Kennedy, Andrew %E Ahmed, Amal %I ACM %K dblp %P 91-104 %T Relational parametricity for references and recursive types. %U http://dblp.uni-trier.de/db/conf/tldi/tldi2009.html#BirkedalST09 %@ 978-1-60558-420-1

@inproceedings{conf/tldi/BirkedalST09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Birkedal, Lars and Støvring, Kristian and Thamsborg, Jacob}, biburl = {https://www.bibsonomy.org/bibtex/271524fc7a07b887a4b875c7e0ae214ae/dblp}, booktitle = {TLDI}, crossref = {conf/tldi/2009}, editor = {Kennedy, Andrew and Ahmed, Amal}, ee = {https://doi.org/10.1145/1481861.1481873}, interhash = {57ab1acf197d52b93e83edacfd0933d9}, intrahash = {71524fc7a07b887a4b875c7e0ae214ae}, isbn = {978-1-60558-420-1}, keywords = {dblp}, pages = {91-104}, publisher = {ACM}, timestamp = {2024-04-09T20:45:11.000+0200}, title = {Relational parametricity for references and recursive types.}, url = {http://dblp.uni-trier.de/db/conf/tldi/tldi2009.html#BirkedalST09}, year = 2009 }