Parametricity and local variables
From MaRDI portal
Publication:4369880
DOI10.1145/210346.210425zbMath0885.68039OpenAlexW2130404229MaRDI QIDQ4369880
Robert D. Tennent, Peter W. O'Hearn
Publication date: 28 January 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://surface.syr.edu/cgi/viewcontent.cgi?article=1001&context=lcsmith_other
Related Items
Automata-theoretic semantics of idealized Algol with passive expressions ⋮ Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ An approach to deciding the observational equivalence of Algol-like languages ⋮ A Nominal Relational Model for Local Store ⋮ A System-Level Game Semantics ⋮ Parametricity as isomorphism ⋮ Unnamed Item ⋮ Proof-Relevant Parametricity ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Full abstraction for the second order subset of an Algol-like language ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Lenses, fibrations and universal translations ⋮ The essence of parallel Algol. ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Bifibrational functorial semantics of parametric polymorphism ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ Unnamed Item ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ A characterization of lambda definability in categorical models of implicit polymorphism ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ Global State Considered Helpful ⋮ Cryptographic logical relations ⋮ A relational account of call-by-value sequentiality ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ Comprehensive Parametric Polymorphism: Categorical Models and Type Theory ⋮ Objects and classes in Algol-like languages ⋮ Soundness of data refinement for a higher-order imperative language