Pages that link to "Item:Q3617747"
From MaRDI portal
The following pages link to Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747):
Displaying 7 items.
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Q3644766) (← links)
- Modal crash types for intermittent computing (Q6535235) (← links)
