Call-by-need, neededness and all that

DOI10.1007/978-3-319-89366-2_13zbMath1504.68033arXiv1801.10519OpenAlexW3104952256MaRDI QIDQ1652986

Delia Kesner, Andrés Viso, Alejandro Ríos

Publication date: 17 July 2018

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Node Replication: Theory And Practice ⋮ Tight typings and split bounds, fully developed ⋮ The spirit of node replication ⋮ Normalization by Evaluation for Typed Weak lambda-Reduction

This page was built for publication: Call-by-need, neededness and all that