Parametricity for primitive nested types

DOI10.1007/978-3-030-71995-1_17MaRDI QIDQ2233419zbMATH OpenOpenAlexFDO

Authors Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Publication date 18 October 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-71995-1_17

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• A generalization of short-cut fusion and its correctness proof
• A principled approach to programming with nested types in Haskell
• Bifibrational functorial semantics of parametric polymorphism
• Categorical data types in parametric polymorphism
• Categorical logic and type theory
• Categorical models for Abadi and Plotkin's logic for parametricity
• Deep induction: induction rules for (truly) nested types
• Foundations for structured programming with GADTs
• Functorial polymorphism
• Generalised folds for nested datatypes
• Map fusion for nested datatypes in intensional type theory
• On the semantics of nested datatypes
• Parametric polymorphism and operational equivalence
• Relational parametricity for higher kinds

Cited in

(5)

• Primitive recursive functional with dependent types
• Types for Proofs and Programs
• scientific article; zbMATH DE number 7471683 (Why is no real title available?)
• Types as parameters
• GADTs, functoriality, parametricity: pick two

This page was built for publication: Parametricity for primitive nested types

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