Formal parametric polymorphism
From MaRDI portal
Recommendations
Cites work
- 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
- 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?)
- 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
(39)- Formal parametric polymorphism
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
- A trace semantics for System F parametric polymorphism
- A game semantics for generic polymorphism
- The Girard-Reynolds isomorphism
- Genericity and the \(\pi\)-calculus
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- A simple proof technique for certain parametricity results
- Parametric Polymorphism — Universally
- 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
- Curry-style type isomorphisms and game semantics
- Bunched polymorphism
- Testing polymorphic properties
- Parametricity, type equality, and higher-order polymorphism
- Syntax for Free: Representing Syntax with Binding Using Parametricity
- 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 1231605 (Why is no real title available?)
- scientific article; zbMATH DE number 512792 (Why is no real title available?)
- scientific article; zbMATH DE number 742721 (Why is no real title available?)
- Parametric polymorphism and operational equivalence
- Relational parametricity for higher kinds
- Quantifier elimination and parametric polymorphism in programming languages
- On monadic parametricity of second-order functionals
- Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory
- Parametricity and dependent types
- Set-theoretic foundation of parametric polymorphism and subtyping
- Free theorems and runtime type representations
- Parametric polymorphism for XML
- Universal properties for universal types in bifibrational parametricity
- From parametricity to conservation laws, via Noether's theorem
- Types, abstraction, and parametric polymorphism, part 2
- A logical aspect of parametric polymorphism
- Structural polymorphism
- Core algebra revisited
- The Girard-Reynolds isomorphism (second edition)
- Parameter-free polymorphic types
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)
