Call-By-Value, Again!

DOI10.4230/LIPICS.FSCD.2021.7OpenAlexW3186808748MaRDI QIDQ6159923FDOQ6159923

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)