A modular fully-lazy lambda lifter (1991)

by S L Peyton Jones, D Lester
Venue:in Haskell. Software Practice and Experience