Reducing Recursion to Iteration by Algebraic Extension
No abstract available.
Related papers
- Inductive, Coinductive, and Pointed Types ICFP 1996
- A constraint-based approach to guarded algebraic data types TOPLAS 2007
- Parallel programming with big operators PPoPP 2013
- Shared subtypes: subtyping recursive parametrized algebraic data types Haskell 2008
- Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis OOPSLA 2025
- Extensible language implementation with object algebras (short paper) GPCE 2014
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011
- Constraints as control POPL 2012