Construction of List Homomorphisms by Tupling and Fusion

Formal derivation of efficient parallel programs by construction of list homomorphisms

ACM Transactions on Programming Languages and Systems (TOPLAS)

Tupling calculation eliminates multiple data traversals

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming

Theory and applications of inverting functions as folds

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)

Constructing list homomorphisms from proofs

APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems