The following pages link to Parametricity and local variables (Q4369880):
Displaying 27 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- The essence of parallel Algol. (Q1400721) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- Lenses, fibrations and universal translations (Q3225736) (← links)
- (Q4222882) (← links)
- (Q5214814) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)