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

relational parametricitypolymorphismhigher kinds

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

(11)

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

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)