Parametricity and local variables
From MaRDI portal
Recommendations
- A parametric approach to localities
- Local invariance
- scientific article; zbMATH DE number 889886
- A parametric characterization of local optimality
- Local influence under parameter constraints
- scientific article; zbMATH DE number 1790515
- scientific article; zbMATH DE number 3997964
- A local variational relation and applications
- Local coefficients revisited
Cited in
(30)- Parametricity as isomorphism
- Full abstraction for the second order subset of an Algol-like language
- The essence of parallel Algol.
- Soundness of data refinement for a higher-order imperative language
- Objects and classes in Algol-like languages
- An approach to deciding the observational equivalence of Algol-like languages
- A specification structure for deadlock-freedom of synchronous processes
- Free-algebra models for the \(\pi \)-calculus
- Cryptographic logical relations
- A relational account of call-by-value sequentiality
- On assertion-based encapsulation for object invariants and simulations
- Automata-theoretic semantics of idealized Algol with passive expressions
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Monoidal indeterminates and categories of possible worlds
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- scientific article; zbMATH DE number 4018355 (Why is no real title available?)
- A nominal relational model for local store
- A system-level game semantics
- Proof-Relevant Parametricity
- Lenses, fibrations and universal translations
- Monoidal indeterminates and categories of possible worlds
- scientific article; zbMATH DE number 1231564 (Why is no real title available?)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Call-by-name gradual type theory
- Global state considered helpful
- Bifibrational functorial semantics of parametric polymorphism
- A fibrational tale of operational logical relations: pure, effectful and differential
- A characterization of lambda definability in categorical models of implicit polymorphism
- Q\# as a quantum algorithmic language
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
This page was built for publication: Parametricity and local variables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4369880)
