Jacob Thamsborg

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Binary Relations

Logical Representation

Top Venues

J. Log. Algebraic Methods Program.

Log. Methods Comput. Sci.

Publications

Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg
A Kripke logical relation for effect-based program transformations. Inf. Comput. 249 (2016)
Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
Logical relations for fine-grained concurrency. POPL (2013)
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
A relational realizability model for higher-order stateful ADTs. J. Log. Algebraic Methods Program. 81 (4) (2012)
Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg
A Concurrent Logical Relation. CSL (2012)
Jacob Thamsborg, Lars Birkedal, Hongseok Yang
Two for the Price of One: Lifting Separation Logic Assertions Log. Methods Comput. Sci. 8 (3) (2012)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Step-indexed kripke models over recursive worlds. POPL (2011)
Jacob Thamsborg, Lars Birkedal
A kripke logical relation for effect-based program transformations. ICFP (2011)
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
The category-theoretic solution of recursive metric-space equations. Theor. Comput. Sci. 411 (47) (2010)
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
Realisability semantics of parametric polymorphism, general references and recursive types. Math. Struct. Comput. Sci. 20 (4) (2010)
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. FoSSaCS (2009)
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
Relational parametricity for references and recursive types. TLDI (2009)
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
Solutions of Generalized Recursive Metric-Space Equations. FICS (2009)