| 2009 | ||
|---|---|---|
| 2 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. FOSSACS 2009: 456-470 | |
| 1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Relational parametricity for references and recursive types. TLDI 2009: 91-104 | |
| 1 | Lars Birkedal | [1] [2] |
| 2 | Kristian Støvring | [1] [2] |