Defunctionalized Interpreters for Call-by-Need Evaluation

DOI10.1007/978-3-642-12251-4_18zbMath1284.68129OpenAlexW2156231390MaRDI QIDQ3558342

Kevin Millikin, Olivier Danvy, Johan Munk, Ian Zerny

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_18

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (5)

Unnamed Item ⋮ Three Syntactic Theories for Combinatory Graph Reduction ⋮ Classical Call-by-Need and Duality ⋮ Unnamed Item ⋮ Classical By-Need

This page was built for publication: Defunctionalized Interpreters for Call-by-Need Evaluation