| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. FOSSACS 2009: 456-470 |
| 1 | EE | 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] |