Call-by-name, call-by-value, call-by-need and the linear lambda calculus
1999
Details
Title
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
Author(s)
Maraist, John ; Odersky, Martin ; Turner, David N. ; Wadler, Philip
Published in
Theoretical Computer Science
Volume
228
Issue
1-2
Pages
175-210
Date
1999
Other identifier(s)
DOI: https://doi.org/10.1016/S0304-3975(98)00358-2
Laboratories
LAMP
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMP - Programming Methods Laboratory
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2006-01-24