John Maraist, Martin Odersky, David N. Turner, Philip Wadler. Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Electronic Notes in Theoretical Computer Science, 1:370-392, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.