@book(dragonbook,
 author       = {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman},
 year         = {1985},
 title        = {Compilers - Principles, Techniques and Tools},
 publisher    = {Addison Wesley},
)
@inproceedings(barkercont,
 author       = {Chris Barker},
 year         = {2004},
 title        = {Continuations in Natural Language},
 booktitle    = {Proceedings of the Fourth {ACM} {SIGPLAN} Continuations Workshop {(CW'04)}},
 publisher    = {University of Birmingham Computer Science technical report {CSR-04-1}},
)
@article(LinUCHOSC,
 author       = {Josh Berdine and Peter W. O'Hearn and Uday Reddy and Hayo Thielecke},
 year         = {2002},
 title        = {Linear Continuation Passing},
 journal      = {Higher-order and Symbolic Computation},
 volume       = {15},
 number       = {2/3},
 pages        = {181--208},
 doi          = {10.1023/A:1020891112409},
)
@inproceedings(danvy1990abstracting,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1990},
 title        = {Abstracting control},
 booktitle    = {{LISP} and functional programming},
 publisher    = {ACM},
 pages        = {151--160},
 doi          = {10.1145/91556.91622},
)
@article(danvyrepresenting,
 author       = {Olivier Danvy and Andrzej Filinski},
 year         = {1992},
 title        = {Representing Control, a Study of the {CPS} Transformation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {4},
 pages        = {361--391},
 doi          = {10.1017/S0960129500001535},
)
@book(dowd-software,
 author       = {Mark Dowd and John McDonald and Justin Schuh},
 year         = {2006},
 title        = {The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities},
 publisher    = {Addison Wesley},
)
@inproceedings(felleisenprompt,
 author       = {Matthias Felleisen},
 year         = {1988},
 title        = {The theory and practice of first-class prompts},
 booktitle    = {Principles of Programming Languages (POPL)},
 publisher    = {ACM},
 pages        = {180--190},
 doi          = {10.1145/73560.73576},
)
@inproceedings(felleisenreasoning,
 author       = {Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce F. Duba},
 year         = {1986},
 title        = {Reasoning with Continuations},
 booktitle    = {Logic in Computer Science (LICS)},
 publisher    = {IEEE},
)
@inproceedings(filinskilinear,
 author       = {Andrzej Filinski},
 year         = {1992},
 title        = {Linear Continuations},
 booktitle    = {Principles of Programming Languages (POPL)},
 pages        = {27--38},
 doi          = {10.1145/143165.143174},
)
@article(girardlinear,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@inproceedings(griffin,
 author       = {Timothy G. Griffin},
 year         = {1990},
 title        = {A Formulae-as-Types Notion of Control},
 booktitle    = {Principles of Programming Languages ({POPL})},
 publisher    = {ACM},
 pages        = {47--58},
 doi          = {10.1145/96709.96714},
)
@inproceedings(classificationsql,
 author       = {William G.J. Halfond and Jeremy Viegas and Alessandro Orso},
 year         = {2006},
 title        = {A Classification of {SQL} Injection Attacks and Countermeasures},
 booktitle    = {{ISSSE'06}},
 publisher    = {IEEE},
)
@inproceedings(ishtiaqohearn,
 author       = {Samin S. Ishtiaq and Peter O'Hearn},
 year         = {2001},
 title        = {{BI} as an Assertion Language for Mutable Data Structures},
 booktitle    = {Principles of Programming Languages (POPL)},
 publisher    = {ACM},
 pages        = {14--26},
)
@inproceedings(controleffects,
 author       = {Pierre Jouvelot and David K. Gifford},
 year         = {1988},
 title        = {Reasoning about Continuations with Control Effects},
 booktitle    = {Programming Language Design and Implementation ({PLDI})},
 publisher    = {ACM},
 pages        = {218--226},
 doi          = {10.1145/73141.74837},
)
@article(lambekcalculus,
 author       = {Joachim Lambek},
 year         = {1958},
 title        = {The mathematics of sentence structure},
 journal      = {American Mathematical Monthly},
 volume       = {65},
 pages        = {154--170},
 doi          = {10.2307/2310058},
)
@inproceedings(polyeffects,
 author       = {John M. Lucassen and David K. Gifford},
 year         = {1988},
 title        = {Polymorphic Effect Systems},
 booktitle    = {Principles of Programming Languages ({POPL} '88)},
 publisher    = {ACM},
 pages        = {47--57},
 doi          = {10.1145/73560.73564},
)
@inproceedings(morrisettesop2000,
 author       = {Gregory Morrisett and F. Smith and D. Walker},
 year         = {2000},
 title        = {Alias Types},
 booktitle    = {Proceedings European Symposium on Programming (ESOP)},
 series       = {LNCS},
 volume       = {1782},
 publisher    = {Springer},
 pages        = {366--381},
 doi          = {10.1007/3-540-46425-5\_24},
)
@inproceedings(separationhiding,
 author       = {Peter W. O'Hearn and Hongseok Yang and John C. Reynolds},
 year         = {2004},
 title        = {Separation and Information Hiding},
 booktitle    = {POPL'04},
 pages        = {268--280},
 doi          = {10.1145/1498926.1498929},
)
@article(plotkincont,
 author       = {Gordon D. Plotkin},
 year         = {1975},
 title        = {Call-by-name, Call-by-value, and the $\lambda$-calculus},
 journal      = {Theoretical Computer Science},
 volume       = {1},
 number       = {2},
 pages        = {125--159},
 doi          = {10.1016/0304-3975(75)90017-1},
)
@book(PymMono,
 author       = {David J. Pym},
 year         = {2002},
 title        = {The Semantics and Proof Theory of the Logic of Bunched Implications},
 publisher    = {Kluwer Academic Publishers},
 doi          = {10.1007/978-94-017-0091-7},
)
@article(reynoldsdisc,
 author       = {John C. Reynolds},
 year         = {1993},
 title        = {The Discoveries of Continuations},
 journal      = {Lisp and Symbolic Computation},
 volume       = {6},
 number       = {3/4},
 pages        = {233--247},
 doi          = {10.1007/BF01019459},
)
@inproceedings(reynoldslicssep,
 author       = {John C. Reynolds},
 year         = {2002},
 title        = {Separation Logic: A Logic for Shared Mutable Data Structures},
 booktitle    = {Logic in Computer Science (LICS)},
 publisher    = {IEEE},
 pages        = {55--74},
 doi          = {10.1109/LICS.2002.1029817},
)
@techreport(stracheywadsworth,
 author       = {Christopher Strachey and C. P. Wadsworth},
 year         = {1974},
 title        = {Continuations: {A} Mathematical Semantics for Handling Full Jumps},
 type         = {Technical Monograph},
 number       = {PRG-11},
 institution  = {Oxford University Computing Laboratory},
)
@inproceedings(wassermanessence,
 author       = {Zhendong Su and Gary Wassermann},
 year         = {2006},
 title        = {The essence of command injection attacks in web applications},
 booktitle    = {Principles of Programming Languages (POPL)},
 publisher    = {ACM},
 pages        = {372--382},
 doi          = {10.1145/1111037.1111070},
)
@inproceedings(effectspopl03,
 author       = {Hayo Thielecke},
 year         = {2003},
 title        = {From Control Effects to Typed Continuation Passing},
 booktitle    = {Principles of Programming Languages ({POPL}'03)},
 publisher    = {ACM},
 pages        = {139--149},
 doi          = {10.1145/640128.604144},
)
@article(semparsing,
 author       = {Hayo Thielecke},
 year         = {2014},
 title        = {On the Semantics of Parsing Actions},
 journal      = {Science of Computer Programming},
 volume       = {84},
 pages        = {52--76},
 doi          = {10.1016/j.scico.2013.04.010},
)
@inproceedings(thiemanngrammar,
 author       = {Peter Thiemann},
 year         = {2005},
 title        = {Grammar-based analysis of string expressions},
 booktitle    = {{TLDI}},
 publisher    = {ACM},
 pages        = {59--70},
 doi          = {10.1145/1040294.1040300},
)
@article(vanbenthemaction,
 author       = {{van Benthem}, Johan},
 year         = {1991},
 title        = {Language in Action},
 journal      = {Journal of Philosophical Logic},
 volume       = {20},
 number       = {3},
 pages        = {225--263},
 doi          = {10.1007/BF00250539},
)