Pages that link to "Item:Q3583027"
From MaRDI portal
The following pages link to Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027):
Displaying 9 items.
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
