Call-by-Name, Call-by-Value and the lambda-Calculus

@article{Plotkin1975CallbyNameCA,
  title={Call-by-Name, Call-by-Value and the lambda-Calculus},
  author={G. Plotkin},
  journal={Theor. Comput. Sci.},
  year={1975},
  volume={1},
  pages={125-159}
}
  • G. Plotkin
  • Published 1975
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
Abstract This paper examines the old question of the relationship between ISWIM and the λ-calculus, using the distinction between call-by-value and call-by-name. It is held that the relationship should be mediated by a standardisation theorem. Since this leads to difficulties, a new λ-calculus is introduced whose standardisation theorem gives a good correspondence with ISWIM as given by the SECD machine, but without the letrec feature. Next a call-by-name variant of ISWIM is introduced which is… Expand
1,063 Citations
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
  • 7
  • PDF
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus
  • 69
  • PDF
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
  • 9
  • PDF
Call-by-Push-Value: A Subsuming Paradigm
  • 94
Call-by-value is dual to call-by-name
  • 89
  • Highly Influenced
  • PDF
Call-by-Value Is Dual to Call-by-Name - Reloaded
  • P. Wadler
  • Computer Science, Mathematics
  • RTA
  • 2005
  • 295
  • PDF
Open Call-by-Value
  • 30
  • PDF
A TYPED λ-CALCULUS WITH CALL-BY-NAME AND CALL-BY-VALUE ITERATION
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 26 REFERENCES
Definitional interpreters for higher-order programming languages
  • 739
  • PDF
A λ-CALCULUS APPROACH
  • 47
Toward a mathematical semantics for computer languages
  • 532
  • PDF
A simplification of combinatory Logic
  • 9
The Mechanical Evaluation of Expressions
  • 1,023
  • PDF
The correctness of a modified SECD machine
  • 18
Lambda-calculus models of programming languages.
  • 389
Definitional inter er programming languages
  • Presented at ACM Nation eeting
  • 1972
...
1
2
3
...