and D.Lester, A Fully-Lazy Lambda-Lifter (1991)

by S Peyton Jones
Venue:in Haskell, Software Practice and Experience