Warm fusion: Deriving build-catas from recursive definitions (1995)

by J Launchbury, T Sheard
Venue:In Proc. Conference on Functional Programming Languages and Computer Architecture