Formal parametric polymorphism
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 512792 (Why is no real title available?)
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- scientific article; zbMATH DE number 3400430 (Why is no real title available?)
- An extension of system \(F\) with subtyping
- Automatic synthesis of typed -programs on term algebras
- Constructive natural deduction and its ‘ω-set’ interpretation
- Formal parametric polymorphism
- Functorial polymorphism
- Fundamental concepts in programming languages
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- The Discrete Objects in the Effective Topos
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
Cited in
(36)- Parameter-free polymorphic types
- Structural polymorphism
- Types, abstraction, and parametric polymorphism, part 2
- A logical aspect of parametric polymorphism
- Genericity and the \(\pi\)-calculus
- Relational parametricity for higher kinds
- Formal parametric polymorphism
- scientific article; zbMATH DE number 2185725 (Why is no real title available?)
- From parametricity to conservation laws, via Noether's theorem
- An observationally complete program logic for imperative higher-order functions
- scientific article; zbMATH DE number 2185651 (Why is no real title available?)
- scientific article; zbMATH DE number 1183239 (Why is no real title available?)
- scientific article; zbMATH DE number 742721 (Why is no real title available?)
- Set-theoretic foundation of parametric polymorphism and subtyping
- Core algebra revisited
- Universal properties for universal types in bifibrational parametricity
- Free theorems and runtime type representations
- A game semantics for generic polymorphism
- The Girard-Reynolds isomorphism (second edition)
- A trace semantics for System F parametric polymorphism
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
- Parametric Polymorphism — Universally
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- A simple proof technique for certain parametricity results
- The Girard-Reynolds isomorphism
- A Logic for Parametric Polymorphism with Effects
- Parametric polymorphism for XML
- Syntax for Free: Representing Syntax with Binding Using Parametricity
- Curry-style type isomorphisms and game semantics
- Testing polymorphic properties
- Parametricity and dependent types
- Parametricity, type equality, and higher-order polymorphism
- Parametric polymorphism and operational equivalence
- On monadic parametricity of second-order functionals
- Bunched polymorphism
- Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory
This page was built for publication: Formal parametric polymorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314344)
