Lazy Evaluation and Delimited Control
From MaRDI portal
Publication:3575305
DOI10.2168/LMCS-6(3:1)2010zbMath1191.68159OpenAlexW2077365304MaRDI QIDQ3575305
Andrew Lumsdaine, Amr Sabry, Ronald Garcia
Publication date: 27 July 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-6(3:1)2010
Related Items (2)
On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ Latent Effects for Reusable Language Components
This page was built for publication: Lazy Evaluation and Delimited Control
