On the value of variables

DOI10.1016/j.ic.2017.01.003zbMath1372.68055OpenAlexW4206589655MaRDI QIDQ2401632

Claudio Sacerdoti Coen, Beniamino Accattoli

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\)-calculusexplicit substitutionscost modelsimplementations of functional programming languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

A Fresh Look at the λ-Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Parametric parameter passing \(\lambda\)-calculus
• Improving the lazy Krivine machine
• On the correctness of the Krivine machine
• Reasoning About Call-by-need by Means of Types
• Distilling abstract machines
• Local Bigraphs and Confluence: Two Conjectures
• The Call-by-Need Lambda Calculus, Revisited
• On the Value of Variables
• Open Call-by-Value
• On Constructor Rewrite Systems and the Lambda-Calculus
• The call-by-need lambda calculus
• Deriving a lazy abstract machine
• The call-by-need lambda calculus
• Beta reduction is invariant, indeed
• On the Relative Usefulness of Fireballs
• A nonstandard standardization theorem
• The Mechanical Evaluation of Expressions

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