@inproceedings(Asai:PE,
 author       = {Kenichi Asai},
 year         = {2004},
 title        = {Offline partial evaluation for shift and reset},
 booktitle    = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation},
 publisher    = {ACM Press},
 pages        = {3--14},
 doi          = {10.1145/1014007.1014009},
)
@inproceedings(Asai2007,
 author       = {Kenichi Asai and Yukiyoshi Kameyama},
 year         = {2007},
 title        = {{Polymorphic delimited continuations}},
 booktitle    = {Proceedings of Fifth Asian Symposium on Programming Languages and Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {4807},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {239--254},
 doi          = {10.1007/978-3-540-76637-7\_16},
)
@inproceedings(Atkey2006,
 author       = {Robert Atkey},
 year         = {2006},
 title        = {{Parameterised notions of computation}},
 booktitle    = {Proceedings of the Workshop on Mathematically Structured Functional Programming},
 publisher    = {eWiC},
)
@article(Atkey2009,
 author       = {Robert Atkey},
 year         = {2009},
 title        = {{Parameterised notions of computation}},
 journal      = {Journal of Functional Programming},
 volume       = {19},
 number       = {3-4},
 pages        = {335},
 doi          = {10.1017/S095679680900728X},
)
@article(Biernacka2009,
 author       = {Malgorzata Biernacka and Dariusz Biernacki},
 year         = {2009},
 title        = {{Context-based proofs of termination for typed delimited-control operators}},
 journal      = {Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming},
 pages        = {289},
 doi          = {10.1145/1599410.1599446},
)
@article(Carette2009,
 author       = {Jacques Carette and Oleg Kiselyov and Chung-Chieh Shan},
 year         = {2009},
 title        = {{Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages}},
 journal      = {Journal of Functional Programming},
 volume       = {19},
 number       = {05},
 pages        = {509},
 doi          = {10.1017/S0956796809007205},
)
@inproceedings(Danvy:ILFL88,
 author       = {Olivier Danvy},
 year         = {1988},
 title        = {On some functional aspects of control},
 booktitle    = {Proceedings of the Workshop on Implementation of Lazy Functional Languages},
 organization = {Program Methodology Group},
 publisher    = {University of G{\"o}teborg and Chalmers University of Technology},
 pages        = {445--449},
 note         = {Report 53},
)
@techreport(Danvy1989,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1989},
 title        = {{A Functional Abstraction of Typed Contexts}},
 type         = {Technical Report},
 institution  = {Computer Science Department, University of Copenhagen},
)
@inproceedings(Danvy1990,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1990},
 title        = {{Abstracting control}},
 booktitle    = {Proceedings of the 1990 ACM conference on LISP and functional programming},
 publisher    = {ACM Press},
 pages        = {151--160},
 doi          = {10.1145/91556.91622},
)
@article(Danvy1992,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {2009},
 title        = {{Representing Control: a Study of the CPS Transformation}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {04},
 pages        = {361},
 doi          = {10.1017/S0960129500001535},
)
@inproceedings(Felleisen1988,
 author       = {Matthias Felleisen},
 year         = {1988},
 title        = {{The theory and practice of first-class prompts}},
 booktitle    = {Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 publisher    = {ACM Press},
 pages        = {180--190},
 doi          = {10.1145/73560.73576},
)
@inproceedings(Gunter1995,
 author       = {Carl A. Gunter and Didier R\'{e}my and Jon G. Riecke},
 year         = {1995},
 title        = {{A generalization of exceptions and control in ML-like languages}},
 booktitle    = {Proceedings of the seventh international conference on Functional programming languages and computer architecture},
 publisher    = {ACM Press},
 pages        = {12--23},
 doi          = {10.1145/224164.224173},
)
@unpublished(Kiselyov2006param,
 author       = {Oleg Kiselyov},
 year         = {2006},
 title        = {Parametrized 'monad'},
 note         = {{\url{http://okmij.org/ftp/Computation/monads.html\#param-monad}}},
)
@unpublished(Kiselyov2007a,
 author       = {Oleg Kiselyov},
 year         = {2007},
 title        = {First-class typed, direct-style sprintf},
 note         = {{\url{http://okmij.org/ftp/ML/sprintf-cupto.ml}}},
)
@article(Kiselyov2012,
 author       = {Oleg Kiselyov},
 year         = {2012},
 title        = {{Delimited control in OCaml, abstractly and concretely}},
 journal      = {Theoretical Computer Science},
 volume       = {435},
 pages        = {56--76},
 doi          = {10.1016/j.tcs.2012.02.025},
)
@inproceedings(Kiselyov:2010:TTF,
 author       = {Oleg Kiselyov},
 year         = {2012},
 title        = {Typed Tagless Final Interpreters},
 booktitle    = {Spring School on Generic and Indexed Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {7470},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {130--174},
 doi          = {10.1007/978-3-642-32202-0\_3},
)
@inproceedings(Masuko2011,
 author       = {Moe Masuko and Kenichi Asai},
 year         = {2011},
 title        = {{Caml Light + shift/reset = Caml Shift}},
 booktitle    = {First International Workshop on the Theory and Practice of Delimited Continuations},
 pages        = {33--46},
)
@inproceedings(Rompf2009,
 author       = {Tiark Rompf and Ingo Maier and Martin Odersky},
 year         = {2009},
 title        = {{Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform}},
 booktitle    = {Proceedings of the 14th ACM SIGPLAN international conference on Functional programming},
 publisher    = {ACM Press},
 pages        = {317},
 doi          = {10.1145/1596550.1596596},
)
@article(Wadler1994,
 author       = {Philip Wadler},
 year         = {1994},
 title        = {{Monads and composable continuations}},
 journal      = {LISP and Symbolic Computation},
 volume       = {7},
 number       = {1},
 pages        = {39--55},
 doi          = {10.1007/BF01019944},
)