Folds with Dependent Types
No abstract available.
Related papers
- Folding domain-specific languages: deep and shallow embeddings (functional Pearl) ICFP 2014
- Linear Types with Dynamic Multiplicities in Dependent Type Theory (Functional Pearl) ICFP 2025
- Type Fixpoints: Iteration vs. Recursion ICFP 1999
- EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse ECOOP 2017
- Folding left and right over Peano numbers JFP 2019
- A Program Form Based on Data Dependency in Predicate Regions POPL 1983
- Factorising folds for faster functions JFP 2010
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023