| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang: Step-indexed kripke models over recursive worlds. POPL 2011: 119-132 |
| 4 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realisability semantics of parametric polymorphism, general references and recursive types. Mathematical Structures in Computer Science 20(4): 655-703 (2010) |
| 3 | | Lars Birkedal, Kristian Støvring, Jacob Thamsborg: The category-theoretic solution of recursive metric-space equations. Theor. Comput. Sci. 411(47): 4102-4122 (2010) |
| 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 |
Selection of 5 from 6 records - Jacob Thamsborg has 5 coauthors
Last update 2012-02-19 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page