Adjoint Folds and Unfolds Or: Scything through the Thicket of Morphisms
Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental laws such as fusion codify basic optimisation principles. However, most, if not all, programs require some tweaking to be given the f...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2010
|