Parametricity for primitive nested types

DOI10.1007/978-3-030-71995-1_17OpenAlexW3136168366MaRDI QIDQ2233419FDOQ2233419

Authors: Patricia Johann, Enrico Ghiorzi, Daniel Jeffries 

Publication date: 18 October 2021

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

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

Cited In (5)

• Primitive recursive functional with dependent types
• Types for Proofs and Programs
• Title not available (Why is that?)
• 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)