Warm Fusion: Deriving Build-Catas from Recursive Definitions (1995)

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