Peter Thomas Highnam
-
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Optimizing aggregate array computations in loops
ACM Transactions on Programming Languages and Systems (TOPLAS)