Warm fusion: Deriving buildcatas from recursive definitions (1995)

by John Launchbury, Tim Sheard
Venue:In Int. Conf. on Functional Programming Languages and Computer Architecture, FPCA’95, La Jolla