@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},
)