scientific article; zbMATH DE number 512792
From MaRDI portal
Publication:4281485
Recommendations
Cited in
(52)- Structural induction and coinduction in a fibrational setting
- Formal parametric polymorphism
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
- Parametricity as isomorphism
- Polynat in PER models
- A game semantics for generic polymorphism
- Objects and classes in Algol-like languages
- The Girard-Reynolds isomorphism
- Composing dinatural transformations: towards a calculus of substitution
- Deriving logical relations from interpretations of predicate logic
- Domain-theoretical models of parametric polymorphism
- Automata-theoretic semantics of idealized Algol with passive expressions
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- Proofs for free. Parametricity for dependent types
- Syntactic logical relations for polymorphic and recursive types
- Parametric Polymorphism — Universally
- Realizability and parametricity in pure type systems
- scientific article; zbMATH DE number 2185651 (Why is no real title available?)
- scientific article; zbMATH DE number 2185725 (Why is no real title available?)
- A Logic for Parametric Polymorphism with Effects
- scientific article; zbMATH DE number 1183239 (Why is no real title available?)
- An observationally complete program logic for imperative higher-order functions
- scientific article; zbMATH DE number 18641 (Why is no real title available?)
- scientific article; zbMATH DE number 1342287 (Why is no real title available?)
- Parametric polymorphism and operational equivalence
- scientific article; zbMATH DE number 1512614 (Why is no real title available?)
- From algebras and coalgebras to dialgebras
- scientific article; zbMATH DE number 6307924 (Why is no real title available?)
- Proof nets, coends and the Yoneda isomorphism
- scientific article; zbMATH DE number 7204448 (Why is no real title available?)
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- Set-theoretic foundation of parametric polymorphism and subtyping
- Parametric polymorphism and semantic subtyping
- Call-by-name gradual type theory
- Parametric polymorphism for XML
- Linear Abadi and Plotkin Logic
- Universal properties for universal types in bifibrational parametricity
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
- scientific article; zbMATH DE number 5662534 (Why is no real title available?)
- Programming Languages and Systems
- Effect polymorphism in higher-order logic (proof pearl)
- Bifibrational functorial semantics of parametric polymorphism
- Abstraction for concurrent objects
- A logical aspect of parametric polymorphism
- Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms
- The Yoneda reduction of polymorphic types
- A logical approach to type soundness
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
- Core algebra revisited
- The Girard-Reynolds isomorphism (second edition)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281485)
