Jacob Thamsborg

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