Continuations from generalized stack inspection

DOI10.1145/1086365.1086393MaRDI QIDQ2936785zbMATH OpenOpenAlexFDO

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

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

A-normal formcontinuation-passing stylecontinuationsdefunctionalizationSchemestack inspectionweb programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Implementation strategies for first-class continuations
• scientific article; zbMATH DE number 1538023
• Effect handlers via generalised continuations
• scientific article; zbMATH DE number 3872649
• Embedding continuations in procedural objects

Cited in

(9)

• Implementation strategies for first-class continuations
• Implementation and use of the PLT scheme web server
• scientific article; zbMATH DE number 1693466 (Why is no real title available?)
• Automatically RESTful web applications: marking modular serializable continuations
• Embedding continuations in procedural objects
• 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
• scientific article; zbMATH DE number 1538023 (Why is no real title available?)
• Stack inspection

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

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