A Functional Correspondence Between Callby-need Evaluators and Lazy Abstract Machines (2004)

by M S Ager, O Danvy, J Midtgaard
Venue:Information Processing Letters 90(5), 223