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

by G Plotkin
Venue:Th. Comp. Sc