Jacob Thamsborg

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index