Formal parametric polymorphism

DOI10.1016/0304-3975(93)90082-5zbMath0801.68015DBLPjournals/tcs/AbadiCC93OpenAlexW4210653864WikidataQ56982232 ScholiaQ56982232MaRDI QIDQ1314344

Luca Cardelli, Pierre-Louis Curien, Martín Abadi

Publication date: 22 February 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90082-5

zbMATH Keywords

parametric polymorphismtheorem for free

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (9)

The Girard-Reynolds isomorphism ⋮ The Girard-Reynolds isomorphism (second edition) ⋮ An observationally complete program logic for imperative higher-order functions ⋮ Curry-style type isomorphisms and game semantics ⋮ A game semantics for generic polymorphism ⋮ Comprehensive Parametric Polymorphism: Categorical Models and Type Theory ⋮ Genericity and the \(\pi\)-calculus ⋮ Formal parametric polymorphism ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial polymorphism
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• Formal parametric polymorphism
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• An extension of system \(F\) with subtyping
• Fundamental concepts in programming languages
• The Discrete Objects in the Effective Topos
• Constructive natural deduction and its ‘ω-set’ interpretation
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties

This page was built for publication: Formal parametric polymorphism