A Modular Fully-lazy Lambda Lifter in HASKELL (1991)

by Simon L. Peyton Jones, David Lester