Constructing List Homomorphisms from Proofs
Abstract elided by the publisher.
Related papers
- Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms TOPLAS 1997
- The Third Homomorphism Theorem JFP 1996
- The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer POPL 2009
- Parallelizing functional programs by generalization JFP 1999
- Generalising and dualising the third list-homomorphism theorem: functional pearl ICFP 2011
- A short cut to parallelization theorems ICFP 2013
- Automatic inversion generates divide-and-conquer parallel programs PLDI 2007
- Partially-static data as free extension of algebras ICFP 2018