On the Value of Variables

@inproceedings{Accattoli2014OnTV,
  title={On the Value of Variables},
  author={Beniamino Accattoli and C. Coen},
  booktitle={WoLLIC},
  year={2014}
}
Call-by-value and call-by-need l-calculi are defined using the distinguished syntactic category of values. In theoretical studies, values are variables and abstractions. In more practical works, values are usually defined simply as abstractions. This paper shows that practical values lead to a more efficient process of substitution--for both call-by-value and call-by-need--once the usual hypothesis for implementations hold terms are closed, reduction does not go under abstraction, and… Expand
On the value of variables
Open Call-by-Value
Open Call-by-Value (Extended Version)
Implementing Open Call-by-Value
Implementing Open Call-by-Value (Extended Version)
Proof nets and the call-by-value λ-calculus
Abstract machines for Open Call-by-Value
Types by Need (Extended Version)
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
...
1
2
3
...

References

SHOWING 1-10 OF 37 REFERENCES
A call-by-need lambda calculus
Reasoning About Call-by-need by Means of Types
Call-by-Name, Call-by-Value and the lambda-Calculus
  • G. Plotkin
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1975
The call-by-need lambda calculus
Evaluating functions as processes
Lambda Calculi and Linear Speedups
Improvement in a lazy context: an operational theory for call-by-need
Proof nets and the call-by-value lambda-calculus
A synthetic operational account of call-by-need evaluation
Parameter-passing and the lambda calculus
...
1
2
3
4
...