Generalised folds for nested datatypes
From MaRDI portal
DOI10.1007/S001650050047zbMATH Open0937.68027OpenAlexW2151015971MaRDI QIDQ1965249FDOQ1965249
Authors: Ross Paterson, Richard S. Bird 
Publication date: 6 February 2000
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:0c60214a-4238-4323-92ee-4c26fea8a32a
Recommendations
- Disciplined, efficient, generalised folds for nested datatypes
- scientific article; zbMATH DE number 1956505
- scientific article; zbMATH DE number 1375587
- A principled approach to programming with nested types in Haskell
- Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
Cited In (24)
- Title not available (Why is that?)
- From signatures to monads in \textsf{UniMath}
- Title not available (Why is that?)
- On the semantics of nested datatypes
- Substitution in non-wellfounded syntax with variable binding
- Explicit substitutions and higher-order syntax
- Parametricity for primitive nested types
- An induction principle for nested datatypes in intensional type theory
- Fantastic morphisms and where to find them. A guide to recursion schemes
- Structured handling of scoped effects
- Title not available (Why is that?)
- High-level signatures and initial semantics
- Towards an induction principle for nested data types
- Title not available (Why is that?)
- Map fusion for nested datatypes in intensional type theory
- Unifying structured recursion schemes. An extended study
- A principled approach to programming with nested types in Haskell
- Coroutining folds with hyperfunctions
- Containers: Constructing strictly positive types
- Title not available (Why is that?)
- Iteration and coiteration schemes for higher-order and nested datatypes
- Type Fusion
- Disciplined, efficient, generalised folds for nested datatypes
- Heterogeneous substitution systems revisited
This page was built for publication: Generalised folds for nested datatypes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1965249)
