W P de Roever

• Call-by-value versus call-by-name