Call-by-name, call-by-value, call-by-need and the linear lambda calculus (1995)

by D N Turner J Maraist, M Ordesky, P Wadler
Venue:Theoretical Computer Science