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] |