Warm fusion: Deriving build-cata's from recursive definitions (1995)

by John Launchbury, Tim Sheard
Venue:In Conf. on Func. Prog. Languages and Computer Architecture