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

by G D Plotkin
Venue:Theoretical Computer Science