@inproceedings{036f64b05b6511de8664000ea68e967b,
title = "Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types",
author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",
year = "2009",
language = "English",
pages = "456--470",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",
note = "Foundations of Software Science and Computational Structures, 12th International Conference ; Conference date: 22-03-2009 Through 29-03-2009",
}