The callby -need lambda calculus (unabridged (1994)

by J Maraist, M Odersky, P Wadler