The Call-by-Need Lambda Calculus, Revisited

DOI10.1007/978-3-642-28869-2_7zbMath1352.68040arXiv1201.3907OpenAlexW1934781858MaRDI QIDQ2892724

Matthias Felleisen, Stephen F. Chang

Publication date: 22 June 2012

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

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

zbMATH Keywords

lambda-calculuscall-by-needlaziness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

On the value of variables ⋮ A strong call-by-need calculus ⋮ Node Replication: Theory And Practice ⋮ The spirit of node replication ⋮ Transparent quantification into hyperintensional objectual attitudes ⋮ Classical By-Need ⋮ Reasoning About Call-by-need by Means of Types

This page was built for publication: The Call-by-Need Lambda Calculus, Revisited