Call-by-value is dual to call-by-name reloaded (2005)

by P Wadler
Venue:In Term rewriting and applications. Lecture Notes in Comput. Sci