Call-By-Value, Again!

DOI10.4230/LIPICS.FSCD.2021.7MaRDI QIDQ6159923zbMATH OpenOpenAlexFDO

Authors Giulio Manzonetto

Publication date 23 June 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.FSCD.2021.7

zbMATH Keywords

\(\lambda\)-calculuscall-by-valueinhabitationintersection typessolvability

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cited in

(8)

• Implementing open call-by-value
• Call-by-value is dual to call-by-name
• Quantitative global memory
• Mirroring call-by-need, or values acting silly
• A quantitative approach to global state composition
• Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
• Mirroring call-by-need, or values acting silly
• Lambda galore

This page was built for publication: Call-By-Value, Again!

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