Call-by-name, call-by-value, call-by-need and the linear lambda calculus
1999
Détails
Titre
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
Auteur(s)
Maraist, John ; Odersky, Martin ; Turner, David N. ; Wadler, Philip
Publié dans
Theoretical Computer Science
Volume
228
Numéro
1-2
Pages
175-210
Date
1999
Autres identifiant(s)
DOI: https://doi.org/10.1016/S0304-3975(98)00358-2
Laboratoires
LAMP
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LAMP - Laboratoire de méthodes de programmation
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié
Date de création de la notice
2006-01-24