On the Value of Variables

DOI10.1007/978-3-662-44145-9_3zbMath1372.68054OpenAlexW2186958703MaRDI QIDQ2938129

Beniamino Accattoli, Claudio Sacerdoti Coen

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

The Negligible and Yet Subtle Cost of Pattern Matching ⋮ Open Call-by-Value ⋮ On the value of variables ⋮ Unnamed Item ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ (In)efficiency and reasonable cost models

This page was built for publication: On the Value of Variables