Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Call-by-name, call-by-value, call-by-need and the linear lambda calculus
 
research article

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

Maraist, John
•
Odersky, Martin  
•
Turner, David N.
Show more
1999
Theoretical Computer Science
  • Details
  • Metrics
Type
research article
DOI
10.1016/S0304-3975(98)00358-2
Author(s)
Maraist, John
Odersky, Martin  
Turner, David N.
Wadler, Philip
Date Issued

1999

Published in
Theoretical Computer Science
Volume

228

Issue

1-2

Start page

175

End page

210

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LAMP1  
Available on Infoscience
January 24, 2006
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/221716
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés