From control effects to typed continuation passing

@inproceedings{Thielecke2003FromCE,
  title={From control effects to typed continuation passing},
  author={Hayo Thielecke},
  booktitle={POPL '03},
  year={2003}
}
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about continuations, both in the source language and in the target language of the continuation-passing transform. In this paper, we establish the connection between an effect system for first-class continuations and typed versions of continuation-passing style. A region in the effect system determines a local answer type for… Expand
Answer Type Polymorphism in Call-by-Name Continuation Passing
Handling delimited continuations with dependent types
A monadic framework for delimited continuations
Polymorphic Delimited Continuations
Equational axiomatization of call-by-name delimited control
On typing delimited continuations: three new solutions to the printf problem
  • K. Asai
  • Computer Science
  • High. Order Symb. Comput.
  • 2009
...
1
2
3
4
5
...

References

SHOWING 1-9 OF 9 REFERENCES
Reasoning about continuations with control effects
Polymorphic type assignment and CPS conversion
Explicit polymorphism and CPS conversion
Parametric Polymorphism and Operational Equivalence
  • A. Pitts
  • Computer Science, Mathematics
  • Electron. Notes Theor. Comput. Sci.
  • 1997
The theory and practice of first-class prompts
Revised5 Report on the Algorithmic Language Scheme
Representing Control: A Study of the CPS Transformation
Varieties of Effects
Revised 5 Report on the Algorithmic Language