Complete Laziness: a Natural Semantics
From MaRDI portal
Publication:2873681
DOI10.1016/j.entcs.2008.03.058zbMath1279.68191OpenAlexW2027027952MaRDI QIDQ2873681
Publication date: 24 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.058
efficiencyoptimalityoperational semanticsstrategiessharingcall-by-needlazinessfunctional programming languages
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- An operational semantics of sharing in lazy evaluation
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Combinatory reduction systems: Introduction and survey
- Optimality and inefficiency
- The call-by-need lambda calculus
- The call-by-need lambda calculus
- Closed reduction: explicit substitutions without $\alpha$ -conversion
- Optimistic evaluation
- Programming Languages and Systems
- Call-by-need in token-passing nets
This page was built for publication: Complete Laziness: a Natural Semantics