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 expressionsLogical relations and parametricity -- a Reynolds programme for category theory and programming languagesAn approach to deciding the observational equivalence of Algol-like languagesA Nominal Relational Model for Local StoreA System-Level Game SemanticsParametricity as isomorphismUnnamed ItemProof-Relevant ParametricityOn assertion-based encapsulation for object invariants and simulationsFull abstraction for the second order subset of an Algol-like languageA fibrational framework for possible-world semantics of \textsc{Algol}-like languagesLenses, fibrations and universal translationsThe essence of parallel Algol.Monoidal indeterminates and categories of possible worldsBifibrational functorial semantics of parametric polymorphismA specification structure for deadlock-freedom of synchronous processesUnnamed ItemFull abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic casesA characterization of lambda definability in categorical models of implicit polymorphismFree-algebra models for the \(\pi \)-calculusGlobal State Considered HelpfulCryptographic logical relationsA relational account of call-by-value sequentialityMonoidal Indeterminates and Categories of Possible WorldsComprehensive Parametric Polymorphism: Categorical Models and Type TheoryObjects and classes in Algol-like languagesSoundness of data refinement for a higher-order imperative language