A calculus of expandable stores. Continuation-and-environment-passing style translations

DOI10.1145/3373718.3394792zbMATH Open1498.03031OpenAlexW3022366942MaRDI QIDQ5145663FDOQ5145663

Authors: Hugo Herbelin, Étienne Miquey 

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394792

Recommendations

• The call-by-need lambda calculus
• Defunctionalized interpreters for call-by-need evaluation
• Lazy evaluation and delimited control
• The call-by-need lambda calculus
• A functional correspondence between call-by-need evaluators and lazy abstract machines

zbMATH Keywords

abstract machineslazy evaluationde Bruijn indicesglobal environmentCPS translationsKripke forcing

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Type theory (03B38)

This page was built for publication: A calculus of expandable stores. Continuation-and-environment-passing style translations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145663)