Jeremy__Gibbons
Computing downwards accumulations on trees quickly
Deriving tidy drawings of trees
Efficient parallel algorithms for tree accumulations
Polytypic downwards accumulations
Proof methods for structured corecursive programs
The under-appreciated unfold