The following pages link to Jacob Thamsborg (Q444499):
Displayed 11 items.
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Two for the Price of One: Lifting Separation Logic Assertions (Q2914243) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- (Q4649541) (← links)
- A kripke logical relation for effect-based program transformations (Q5176994) (← links)
- Step-indexed kripke models over recursive worlds (Q5408537) (← links)
- Generating Specials: The Zorro Algorithm (Q6477684) (← links)