"Call-by-value is dual to call-by-name."

Philip Wadler (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics