Towards a Modular Program Derivation via Fusion and Tupling
No abstract available.
Related papers
- Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms TOPLAS 1997
- Parallelization in Calculational Forms POPL 1998
- Postcondition-preserving fusion of postorder tree transformations CC 2020
- Deriving Structural Hylomorphisms From Recursive Definitions ICFP 1996
- The Calculated Typer (Functional Pearl) Haskell 2025
- Reasoning about effect interaction by fusion ICFP 2021
- Staging Automatic Differentiation with Fusion Haskell 2025
- Algebraic fusion of functions with an accumulating parameter and its improvement ICFP 2006