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

solvability\(\lambda\)-calculusinhabitationintersection typescall-by-value

Mathematics Subject Classification ID

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

Cited in

(3)

• Quantitative global memory
• Call-by-value is dual to call-by-name
• Implementing open call-by-value

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)