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):
Displayed 7 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)
- 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)