Relational parametricity for higher kinds

DOI10.4230/LIPICS.CSL.2012.46zbMATH Open1252.68059OpenAlexW1536469717MaRDI QIDQ4649537FDOQ4649537

Authors: Robert Atkey 

Publication date: 22 November 2012

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

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

zbMATH Keywords

relational parametricitypolymorphismhigher kinds

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (9)

• Title not available (Why is that?)
• Parametricity for primitive nested types
• How helpers hasten \(h\)-relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof-Relevant Parametricity
• GADTs, functoriality, parametricity: pick two
• Parametricity in an impredicative sort

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)