Call-by-Value is Dual to Call-by-Name (2003)

by P Wadler
Venue:In ICFP’03, ACM