Jacob Thamsborg
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Kripke logical relation for effect-based program transformations Information and Computation | 2016-07-07 | Paper |
| A Kripke logical relation for effect-based program transformations Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Logical relations for fine-grained concurrency Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Step-indexed Kripke models over recursive worlds Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| A concurrent logical relation | 2012-11-22 | Paper |
| Two for the price of one: lifting separation logic assertions Logical Methods in Computer Science | 2012-09-25 | Paper |
| A relational realizability model for higher-order stateful ADTs The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
| The category-theoretic solution of recursive metric-space equations Theoretical Computer Science | 2010-11-11 | Paper |
| Realisability semantics of parametric polymorphism, general references and recursive types Mathematical Structures in Computer Science | 2010-08-26 | Paper |
| Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
| Generating Specials: The Zorro Algorithm | 2006-08-14 | Paper |
Research outcomes over time
This page was built for person: Jacob Thamsborg
