A Reflection on Call-by-Value
call - by - name , call - by - value and the lambda - calculus .