Complete laziness: a natural semantics

DOI10.1016/J.ENTCS.2008.03.058MaRDI QIDQ2873681zbMATH OpenOpenAlexFDO

Authors François-Régis Sinot

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

zbMATH Keywords

call-by-needefficiencyfunctional programming languageslazinessoperational semanticsoptimalitysharingstrategies

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• An operational semantics of sharing in lazy evaluation
• Deriving a lazy abstract machine
• The Call-by-Need Lambda Calculus, Revisited
• Weak optimality, and the meaning of sharing
• The call-by-need lambda calculus

Cites work

• An operational semantics of sharing in lazy evaluation
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Call-by-need in token-passing nets
• Closed reduction: explicit substitutions without $\alpha$ -conversion
• Combinatory reduction systems: Introduction and survey
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Optimality and inefficiency: what isn't a cost model of the lambda calculus?
• Optimistic evaluation
• Programming Languages and Systems
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The optimal implementation of functional programming languages

Cited in

(8)

• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
• An operational semantics for parallel lazy evaluation
• The role of indirections in lazy natural semantics
• scientific article; zbMATH DE number 4050946 (Why is no real title available?)
• The adequacy of Launchbury's natural semantics for lazy evaluation
• scientific article; zbMATH DE number 2090021 (Why is no real title available?)
• To be or not to be …lazy (In a Parallel Context)
• Kleene getting lazy

This page was built for publication: Complete laziness: a natural semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873681)