A modular fully-lazy lambda lifter (1991)

by S Peyton-Jones, David Lester
Venue:in HASKELL. Software - Practice and Experience