Parametricity for primitive nested types
From MaRDI portal
Publication:2233419
DOI10.1007/978-3-030-71995-1_17OpenAlexW3136168366MaRDI QIDQ2233419
Patricia Johann, Daniel Jeffries, Enrico Ghiorzi
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-71995-1_17
Related Items (1)
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
- A generalization of short-cut fusion and its correctness proof
- Generalised folds for nested datatypes
- Deep induction: induction rules for (truly) nested types
- 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
- Bifibrational functorial semantics of parametric polymorphism
This page was built for publication: Parametricity for primitive nested types
