On the value of variables

DOI10.1016/J.IC.2017.01.003MaRDI QIDQ2401632zbMATH OpenOpenAlexFDO

Authors Beniamino Accattoli, Claudio Sacerdoti Coen

Publication date 4 September 2017

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2017.01.003

zbMATH Keywords

\(\lambda\)-calculuscost modelsexplicit substitutionsimplementations of functional programming languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• On the value of variables
• The call-by-need lambda calculus
• scientific article; zbMATH DE number 1953273
• The call-by-need lambda calculus
• The Call-by-Need Lambda Calculus, Revisited

Cites work

• A nonstandard standardization theorem
• An abstract factorization theorem for explicit substitutions
• Beta reduction is invariant, indeed
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Deriving a lazy abstract machine
• Distilling abstract machines
• Evaluating functions as processes
• scientific article; zbMATH DE number 1953273 (Why is no real title available?)
• scientific article; zbMATH DE number 7356671 (Why is no real title available?)
• Improving the lazy Krivine machine
• Linear logic
• Local bigraphs and confluence: two conjectures (extended abstract)
• On Constructor Rewrite Systems and the Lambda-Calculus
• On the correctness of the Krivine machine
• On the invariance of the unitary cost model for head reduction
• On the Relative Usefulness of Fireballs
• On the value of variables
• Open call-by-value
• Parametric parameter passing \(\lambda\)-calculus
• Reasoning about call-by-need by means of types
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• The Call-by-Need Lambda Calculus, Revisited
• The Mechanical Evaluation of Expressions
• Types and programing languages

Cited in

(7)

• On the value of variables
• scientific article; zbMATH DE number 6157349 (Why is no real title available?)
• A Fresh Look at the λ-Calculus
• Strong call-by-value and multi types
• Reasonable space for the -calculus, logarithmically
• Positive focusing is directly useful
• Reasonable space for the -calculus, logarithmically

This page was built for publication: On the value of variables

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