Open Call-by-Value

DOI10.1007/978-3-319-47958-3_12zbMath1483.68063arXiv1609.00322OpenAlexW2513611569MaRDI QIDQ3179293

Beniamino Accattoli, Giulio Guerrieri

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.00322

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items

Eager functions as processes ⋮ Unnamed Item ⋮ The Negligible and Yet Subtle Cost of Pattern Matching ⋮ On the value of variables ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ The bang calculus revisited ⋮ A Fresh Look at the λ-Calculus ⋮ (In)efficiency and reasonable cost models ⋮ On reduction and normalization in the computational core ⋮ Z property for the shuffling calculus

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong normalization from an unusual point of view
• The parametric lambda calculus. A metamodel for computation.
• Proof nets and the call-by-value \(\lambda\)-calculus
• The weak lambda calculus as a reasonable machine
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• An equivalence between lambda- terms
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• A reflection on call-by-value
• Call-by-Value Solvability, Revisited
• On the Value of Variables
• The duality of computation
• A compiled implementation of strong reduction
• The Duality of Computation under Focus
• An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form
• On the Relative Usefulness of Fireballs
• Call-by-value Solvability
• Standardization of a Call-By-Value Lambda-Calculus
• A Semantical and Operational Account of Call-by-Value Solvability
• Call-by-Value  -calculus and LJQ