scientific article; zbMATH DE number 7471683

MaRDI QIDQ5028445

Enrico Ghiorzi, Patricia Johann

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2101.04819

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

categorical semanticsparametricitynested typesGADTs

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Map fusion for nested datatypes in intensional type theory
• Functorial polymorphism
• A principled approach to programming with nested types in Haskell
• Categorical logic and type theory
• On the semantics of nested datatypes
• Iteration and coiteration schemes for higher-order and nested datatypes
• A generalization of short-cut fusion and its correctness proof
• Generalised folds for nested datatypes
• Deep induction: induction rules for (truly) nested types
• Parametricity for primitive nested types
• Guarded recursive datatype constructors
• Foundations for structured programming with GADTs
• Categorical data types in parametric polymorphism
• Parametric polymorphism and operational equivalence
• Relational Parametricity for Higher Kinds
• Categorical models for Abadi and Plotkin's logic for parametricity