Relational parametricity for higher kinds

DOI10.4230/LIPICS.CSL.2012.46MaRDI QIDQ4649537zbMATH OpenOpenAlexFDO

Authors Robert Atkey

Publication date 22 November 2012

Full work available at URL https://doi.org/10.4230/lipics.csl.2012.46

zbMATH Keywords

higher kindspolymorphismrelational parametricity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A relationally parametric model of dependent type theory
• A general framework for relational parametricity
• scientific article; zbMATH DE number 2185651
• Relational limits in general polymorphism
• Formal parametric polymorphism

Cited in

(13)

• Parametricity for primitive nested types
• How helpers hasten h-relations
• scientific article; zbMATH DE number 2185651 (Why is no real title available?)
• Proof-Relevant Parametricity
• scientific article; zbMATH DE number 2061707 (Why is no real title available?)
• Parametricity in an impredicative sort
• Parametricity for nested types and GADTs
• A general framework for relational parametricity
• A relationally parametric model of dependent type theory
• scientific article; zbMATH DE number 7779294 (Why is no real title available?)
• GADTs, functoriality, parametricity: pick two
• Parametricity via cohesion
• GADTs are not (even partial) functors

This page was built for publication: Relational parametricity for higher kinds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649537)