scientific article; zbMATH DE number 1538023

zbMATH Open0960.68031MaRDI QIDQ4518878FDOQ4518878

Authors: Olivier Danvy 

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

Recommendations

• Implementation strategies for first-class continuations
• Continuations from generalized stack inspection
• Declarative continuations: an investigation of duality in programming language semantics
• Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
• From control effects to typed continuation passing

zbMATH Keywords

continuation-passing style programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (5)

• A syntactic correspondence between context-sensitive calculi and abstract machines
• A first-order one-pass CPS transformation
• Continuations from generalized stack inspection
• Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
• Declarative continuations: an investigation of duality in programming language semantics

This page was built for publication:

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