Jacob Thamsborg

From MaRDI portal
Person:444499

Available identifiers

zbMath Open thamsborg.jacobMaRDI QIDQ444499

List of research outcomes





PublicationDate of PublicationType
A Kripke logical relation for effect-based program transformations2016-07-07Paper
A kripke logical relation for effect-based program transformations2015-03-05Paper
Logical relations for fine-grained concurrency2014-11-27Paper
Step-indexed kripke models over recursive worlds2014-04-10Paper
https://portal.mardi4nfdi.de/entity/Q46495412012-11-22Paper
Two for the price of one: lifting separation logic assertions2012-09-25Paper
A relational realizability model for higher-order stateful ADTs2012-08-14Paper
The category-theoretic solution of recursive metric-space equations2010-11-11Paper
Realisability semantics of parametric polymorphism, general references and recursive types2010-08-26Paper
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types2009-03-31Paper
Generating Specials: The Zorro Algorithm2006-08-14Paper

Research outcomes over time

This page was built for person: Jacob Thamsborg

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:444499&oldid=7564636"
Powered by MediaWiki