Continuations from generalized stack inspection

DOI10.1145/1086365.1086393zbMath1302.68047OpenAlexW2157998816MaRDI QIDQ2936785

Matthias Felleisen, John C. Clements, Joe Marshall, Shriram Krishnamurthi, Greg Pettyjohn

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.9787

zbMATH Keywords

continuationscontinuation-passing styledefunctionalizationSchemestack inspectionweb programmingA-normal form

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ Delimited control in OCaml, abstractly and concretely

This page was built for publication: Continuations from generalized stack inspection