Call-by-name, call-by-value, and the *-calculus (1975)

by G D Plotkin
Venue:Theor. Comput. Sci