Deriving Structural Hylomorphisms From Recursive Definitions
Abstract
... this paper, we propose an algorithm which can automatically turn all practical recursive definitions into structural hylomorphisms making program fusion be easily applied.
Related papers
- Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes POPL 2015
- Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms ICFP 2016
- Algebra of programming in Agda: Dependent types for relational program derivation JFP 2009
- Equations reloaded: high-level dependently-typed functional programming and proving in Coq ICFP 2019
- Manufacturing datatypes JFP 2001
- Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog ESOP 2019
- Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars PLDI 1986
- Efficient compilation of linear recursive functions into object level loops PLDI 1986