Article thumbnail

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

By John Maraist, Martin Odersky, David N. Turner and Philip Wadler
Publisher: 'Elsevier BV'
Year: 2006
DOI identifier: 10.1016/S0304-3975(98)00358-2
OAI identifier: oai:infoscience.tind.io:64389
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://infoscience.epfl.ch/rec... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.