Call-by-value isn’t dual to call-by-name, call-by-name is dual to call-by-value! (2004)

by Harry G. Mairson