Jacob Thamsborg

According to our database, Jacob Thamsborg authored at least 12 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Kripke logical relation for effect-based program transformations.

Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg

Inf. Comput., 2016

2013

Logical relations for fine-grained concurrency.

Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

A relational realizability model for higher-order stateful ADTs.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

J. Log. Algebraic Methods Program., 2012

Two for the Price of One: Lifting Separation Logic Assertions

Jacob Thamsborg, Lars Birkedal, Hongseok Yang

Log. Methods Comput. Sci., 2012

A Concurrent Logical Relation.

Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Step-indexed kripke models over recursive worlds.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A kripke logical relation for effect-based program transformations.

Jacob Thamsborg, Lars Birkedal

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

The category-theoretic solution of recursive metric-space equations.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Theor. Comput. Sci., 2010

Realisability semantics of parametric polymorphism, general references and recursive types.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Math. Struct. Comput. Sci., 2010

2009

Relational parametricity for references and recursive types.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Solutions of Generalized Recursive Metric-Space Equations.

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009