A Reflection on Call-by-Value (1996)

by Amr Sabry, Philip Wadler
Venue:ACM Transactions on Programming Languages and Systems