@inproceedings(asai-polymorphic,
 author       = {Kenichi Asai and Yukiyoshi Kameyama},
 year         = {2007},
 title        = {Polymorphic Delimited Continuations},
 booktitle    = {{APLAS}},
 series       = {{L}ecture {N}otes in {C}computer {S}cience},
 volume       = {4807},
 pages        = {239--254},
 doi          = {10.1007/978-3-540-76637-7\_16},
)
@article(eff-language,
 author       = {Andrej Bauer and Matija Pretnar},
 year         = {2015},
 title        = {Programming with Algebraic Effects and Handlers},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {84},
 number       = {1},
 pages        = {108--123},
 doi          = {10.1016/j.jlamp.2014.02.001},
)
@inproceedings(biernacka-operational,
 author       = {Ma{\l}gorzata Biernacka and Dariusz Biernacki and Olivier Danvy},
 year         = {2004},
 title        = {An Operational Foundation for Delimited Continuations},
 editor       = {Hayo Thielecke},
 booktitle    = {{CW}'04: Proceedings of the 4th {ACM} {SIG{\-}PLAN} Continuations Workshop},
 series       = {Tech.\ Rep.},
 volume       = {CSR-04-1},
 publisher    = {School of Computer Science, University of Birmingham},
 pages        = {25--33},
 url          = {http://www.cs.bham.ac.uk/~hxt/cw04/bbd.pdf},
)
@inproceedings(Brady-effects,
 author       = {Edwin Brady},
 year         = {2013},
 title        = {Programming and reasoning with algebraic effects and dependent types},
 pages        = {133--144},
 doi          = {10.1145/2500365.2500581},
)
@article(carette-finally,
 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      = {J. Functional Progr.},
 volume       = {19},
 number       = {5},
 pages        = {509--543},
 doi          = {10.1017/S0956796809007205},
)
@inproceedings(cartwright-extensible,
 author       = {Robert Cartwright and Matthias Felleisen},
 year         = {1994},
 title        = {Extensible Denotational Language Specifications},
 editor       = {Masami Hagiya and John C. Mitchell},
 booktitle    = {Theor. Aspects of Comp. Soft.},
 series       = {{LNCS}},
 volume       = {789},
 publisher    = {Springer},
 address      = {Berlin},
 pages        = {244--272},
 doi          = {10.1007/3-540-57887-0\_99},
)
@article(church-formulation,
 author       = {Alonzo Church},
 year         = {1940},
 title        = {A Formulation of the Simple Theory of Types},
 journal      = {Journal of Symbolic Logic},
 volume       = {5},
 number       = {2},
 pages        = {56--68},
 doi          = {10.2307/2266170},
)
@article(Clinger1999-HOSC,
 author       = {William D. Clinger and Anne H. Hartheimer and Eric M. Ost},
 year         = {1999},
 title        = {Implementation Strategies for First-Class Continuations},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {12},
 number       = {1},
 pages        = {7--45},
 doi          = {10.1023/A:1010016816429},
)
@techreport(danvy-functional,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1989},
 title        = {A Functional Abstraction of Typed Contexts},
 type         = {Technical Report},
 number       = {89/12},
 institution  = {{DIKU}, University of Co\-pen\-ha\-gen, Den\-mark},
 url          = {http://www.daimi.au.dk/~danvy/Papers/fatc.ps.gz},
)
@misc(ocaml-effect,
 author       = {Stephen Dolan and Leo White and KC Sivaramakrishnan and Jeremy Yallop and Anil Madhavapeddy},
 year         = {2015},
 title        = {Effective concurrency through algebraic effects},
 note         = {OCaml Users and Developers Workshop},
)
@article(dybvig-monadic,
 author       = {R. Kent Dybvig and Peyton Jones, Simon L. and Amr Sabry},
 year         = {2007},
 title        = {A Monadic Framework for Delimited Continuations},
 journal      = {J. Functional Progr.},
 volume       = {17},
 number       = {6},
 pages        = {687--730},
 doi          = {10.1017/S0956796807006259},
)
@inproceedings(felleisen-prompt,
 author       = {Matthias Felleisen},
 year         = {1988},
 title        = {The Theory and Practice of First-Class Prompts},
 booktitle    = {{POPL} '88: Conference Record of the Annual {ACM} Symposium on Principles of Programming Languages},
 publisher    = {{ACM} {P}ress},
 pages        = {180--190},
 doi          = {10.1145/73560.73576},
)
@inproceedings(felleisen-reasoning,
 author       = {Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce F. Duba},
 year         = {1986},
 title        = {Reasoning with Continuations},
 booktitle    = {Proceedings of the 1st Symposium on Logic in Computer Science},
 pages        = {131--141},
)
@article(ForsterKLP16,
 author       = {Yannick Forster and Ohad Kammar and Sam Lindley and Matija Pretnar},
 year         = {2017},
 title        = {On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control},
 journal      = {Proceedings of the ACM on Programming Languages},
 volume       = {1},
 doi          = {10.1145/3110257},
)
@article(Huet-HOAS,
 author       = {G\'{e}rard Huet and Bernard Lang},
 year         = {1978},
 title        = {Proving and Applying Program Transformations Expressed with Second-Order Patterns},
 journal      = {Acta Informatica},
 volume       = {11},
 pages        = {31--55},
 doi          = {10.1007/BF00264598},
)
@proceedings(icfp2013,
 year         = {2013},
 title        = {{ICFP} '13: Proceedings of the {ACM} International Conference on Functional Programming},
 publisher    = {{ACM} {P}ress},
)
@inproceedings(Kameyama-axiom,
 author       = {Yukiyoshi Kameyama and Masahito Hasegawa},
 year         = {2003},
 title        = {A sound and complete axiomatization of delimited continuations},
 booktitle    = {{ICFP}},
 publisher    = {{ACM} {P}ress},
 pages        = {177--188},
 doi          = {10.1145/944705.944722},
)
@inproceedings(kammar-handlersinaction,
 author       = {Ohad Kammar and Sam Lindley and Nicolas Oury},
 year         = {2013},
 title        = {Handlers in action},
 pages        = {145--158},
 doi          = {10.1145/2544174.2500590},
)
@techreport(remove-dyn-prompt,
 author       = {Oleg Kiselyov},
 year         = {2005},
 title        = {How to Remove a Dynamic Prompt: Static and Dynamic Delimited Continuation Operators are Equally Expressible},
 type         = {Technical Report},
 number       = {611},
 institution  = {Computer Science Department, Indiana University},
)
@article(caml-shift,
 author       = {Oleg Kiselyov},
 year         = {2012},
 title        = {Delimited control in {OC}aml, abstractly and concretely},
 journal      = {Theoretical Computer Science},
 volume       = {435},
 pages        = {56--76},
 doi          = {10.1016/j.tcs.2012.02.025},
)
@incollection(tagless-final-oxford,
 author       = {Oleg Kiselyov},
 year         = {2012},
 title        = {Typed Tagless Final Interpreters},
 booktitle    = {Proceedings of the 2010 International Spring School Conference on Generic and Indexed Programming},
 series       = {SSGIP'10},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {130--174},
 doi          = {10.1007/978-3-642-32202-0\_3},
)
@inproceedings(freer,
 author       = {Oleg Kiselyov and Hiromi Ishii},
 year         = {2015},
 title        = {Freer monads, more extensible effects},
 booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} symposium on {H}askell, Vancouver, BC, Canada, September 3-4, 2015},
 publisher    = {ACM},
 pages        = {94--105},
 doi          = {10.1145/2804302.2804319},
)
@inproceedings(exteff,
 author       = {Oleg Kiselyov and Amr Sabry and Cameron Swords},
 year         = {2013},
 title        = {Extensible effects: an alternative to monad transformers},
 booktitle    = {Haskell},
 publisher    = {ACM},
 pages        = {59--70},
 doi          = {10.1145/2503778.2503791},
)
@inproceedings(delimited-dyn-binding,
 author       = {Oleg Kiselyov and Chung-chieh Shan and Amr Sabry},
 year         = {2006},
 title        = {Delimited Dynamic Binding},
 booktitle    = {{ICFP}},
 publisher    = {{ACM} {P}ress},
 pages        = {26--37},
 doi          = {10.1145/1160074.1159808},
)
@article(landin-700,
 author       = {Peter J. Landin},
 year         = {1966},
 title        = {The Next 700 Programming Languages},
 journal      = {Communications of the {ACM}},
 volume       = {9},
 number       = {3},
 pages        = {157--166},
 doi          = {10.1145/365230.365257},
)
@article(launchbury-state,
 author       = {John Launchbury and Peyton Jones, Simon L.},
 year         = {1995},
 title        = {State in {H}askell},
 journal      = {{L}isp and Symbolic Computation},
 volume       = {8},
 number       = {4},
 pages        = {293--341},
 doi          = {10.1007/BF01018827},
)
@inproceedings(Leijen2017koka,
 author       = {Daan Leijen},
 year         = {2017},
 title        = {Type Directed Compilation of Row-typed Algebraic Effects},
 booktitle    = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
 series       = {POPL 2017},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {486--499},
 doi          = {10.1145/3009837.3009872},
)
@inproceedings(miller-manipulating,
 author       = {Dale Miller and Gopalan Nadathur},
 year         = {1987},
 title        = {A Logic Programming Approach to Manipulating Formulas and Programs},
 editor       = {Seif Haridi},
 booktitle    = {{IEEE} Symposium on Logic Programming},
 publisher    = {{IEEE} Computer Society Press},
 address      = {Washington, {DC}},
 pages        = {379--388},
)
@incollection(Mosses-denot,
 author       = {Peter D. Mosses},
 year         = {1990},
 title        = {Denotational Semantics},
 editor       = {J. van Leewen},
 booktitle    = {Handbook of Theoretical Computer Science},
 chapter      = {11},
 volume       = {B: Formal Models and Semantics},
 publisher    = {The MIT Press},
 address      = {New York, NY},
 pages        = {577--631},
)
@misc(multicoreocaml,
 year         = {2017},
 title        = {Multicore OCaml: A shared memory parallel extension of OCaml},
 url          = {https://github.com/ocamllabs/ocaml-multicore},
 note         = {Accessed: 2017-03-31 15:17:00},
)
@inproceedings(parigot-lambda-mu,
 author       = {Michel Parigot},
 year         = {1992},
 title        = {$\lambda\mu $-Calculus: An Algorithmic Interpretation of Classical Natural Deduction},
 booktitle    = {{LPAR}},
 series       = {{L}ecture {N}otes in {AI}},
 volume       = {624},
 pages        = {190--201},
 doi          = {10.1007/BFb0013061},
)
@incollection(Plotkin-handlers,
 author       = {Gordon Plotkin and Matija Pretnar},
 year         = {2009},
 title        = {Handlers of Algebraic Effects},
 editor       = {Giuseppe Castagna},
 booktitle    = {Programming Languages and Systems},
 series       = {{L}ecture {N}otes in {C}computer {S}cience},
 volume       = {5502},
 publisher    = {Springer},
 pages        = {80--94},
 doi          = {10.1007/978-3-642-00590-9\_7},
)
@article(PlotkinP03,
 author       = {Gordon D. Plotkin and John Power},
 year         = {2003},
 title        = {Algebraic Operations and Generic Effects},
 journal      = {Applied Categorical Structures},
 volume       = {11},
 number       = {1},
 pages        = {69--94},
 doi          = {10.1023/A:1023064908962},
)
@inproceedings(reynolds-definitional,
 author       = {John C. Reynolds},
 year         = {1972},
 title        = {Definitional Interpreters for Higher-Order Programming Languages},
 booktitle    = {Proceedings of the {ACM} National Conference},
 volume       = {2},
 publisher    = {{ACM} {P}ress},
 pages        = {717--740},
 note         = {Reprinted as \cite{reynolds-definitional-revisited,reynolds-definitional-reprinted}},
)
@article(reynolds-definitional-reprinted,
 author       = {John C. Reynolds},
 year         = {1998},
 title        = {Definitional Interpreters for Higher-Order Programming Languages},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {11},
 number       = {4},
 pages        = {363--397},
 doi          = {10.1023/A:1010027404223},
)
@article(reynolds-definitional-revisited,
 author       = {John C. Reynolds},
 year         = {1998},
 title        = {Definitional Interpreters Revisited},
 journal      = {Higher-Order and Symbolic Computation},
 volume       = {11},
 number       = {4},
 pages        = {355--361},
 doi          = {10.1023/A:1010075320153},
)
@article(Schmidt-denot,
 author       = {David A. Schmidt},
 year         = {1996},
 title        = {Programming Language Semantics},
 journal      = {ACM Computing Surveys},
 volume       = {28},
 number       = {1},
 pages        = {265--267},
 doi          = {10.1145/234313.234419},
)
@inproceedings(xi-guarded,
 author       = {Hongwei Xi and Chiyan Chen and Gang Chen},
 year         = {2003},
 title        = {Guarded Recursive Datatype Constructors},
 booktitle    = {{POPL}},
 publisher    = {{ACM} {P}ress},
 pages        = {224--235},
 doi          = {10.1145/640128.604150},
)