31 papers:
ICLP-2015-Saleh #performance- Transforming Delimited Control: Achieving Faster Effect Handlers (AHS).
- ICLP-J-2015-DesouterDS #library
- Tabling as a library with delimited control (BD, MvD, TS), pp. 419–433.
ICFP-2014-DownenA #composition #continuation #semantics- Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.
PPDP-2014-Ilik #continuation #normalisation #proving #tutorial- Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
ESOP-2013-TakikawaST #contract- Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
CSL-2013-Materzok #axiom #continuation- Axiomatizing Subtyped Delimited Continuations (MM), pp. 521–539.
- ICLP-J-2013-SchrijversDDW #continuation #prolog
- Delimited continuations for prolog (TS, BD, BD, JW), pp. 533–546.
- ESOP-2012-DownenA #approach #multi
- A Systematic Approach to Delimited Control with Multiple Prompts (PD, ZMA), pp. 234–253.
FoSSaCS-2012-BiernackiL #bisimulation- Applicative Bisimulations for Delimited-Control Operators (DB, SL), pp. 119–134.
FLOPS-2012-BiernackiL #bisimulation #normalisation- Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.
- ICFP-2011-MaterzokB #continuation #type system
- Subtyping delimited continuations (MM, DB), pp. 81–93.
CHI-2011-RuizL #gesture #interactive #mobile #named- DoubleFlip: a motion gesture delimiter for mobile interaction (JR, YL), pp. 2717–2720.
- FoSSaCS-2010-Saurin #call-by #continuation
- A Hierarchy for Delimited Continuations in Call-by-Name (AS), pp. 374–388.
- FLOPS-2010-Kiselyov #ml
- Delimited Control in OCaml, Abstractly and Concretely: System Description (OK), pp. 304–320.
- PPDP-2010-AsaiK #continuation #functional #virtual machine
- Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.
- PPDP-2010-KameyamaT #axiom #call-by #equation
- Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.
LICS-2010-Zeilberger #continuation #logic- Polarity and the Logic of Delimited Continuations (NZ), pp. 219–227.
PEPM-2009-KameyamaKS #staging- Shifting the stage: staging with delimited control (YK, OK, CcS), pp. 111–120.
- ICFP-2009-RompfMO #continuation #implementation #polymorphism
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.
- PPDP-2009-BiernackaB #proving #termination
- Context-based proofs of termination for typed delimited-control operators (MB, DB), pp. 289–300.
POPL-2009-GarciaLS #evaluation #lazy evaluation- Lazy evaluation and delimited control (RG, AL, AS), pp. 153–164.
- FLOPS-2008-KameyamaY #continuation
- Typed Dynamic Control Operators for Delimited Continuations (YK, TY), pp. 239–254.
- POPL-2008-HerbelinG #approach #call-by #continuation
- An approach to call-by-name delimited continuations (HH, SG), pp. 383–394.
- ICFP-2007-FlattYFF #composition #programming
- Adding delimited and composable control to a production programming environment (MF, GY, RBF, MF), pp. 165–176.
TLCA-2007-KiselyovS #continuation #type system- A Substructural Type System for Delimited Continuations (OK, CcS), pp. 223–239.
- ICFP-2006-KiselyovSS
- Delimited dynamic binding (OK, CcS, AS), pp. 26–37.
- CHI-2005-HinckleyBRG #analysis #design #gesture
- Design and analysis of delimiters for selection-action pen gesture phrases in scriboli (KH, PB, GR, FG), pp. 451–460.
- CSL-2004-Kameyama #axiom #continuation
- Axioms for Delimited Continuations in the CPS Hierarchy (YK), pp. 442–457.
- ICFP-2003-KameyamaH #axiom #continuation
- A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.
FPCA-1993-Riecke- Delimiting the Scope of Effects (JGR), pp. 146–158.
SIGFIDET-1970-Beitz #using- The Interpretation of Structured Stored Data Using Delimiters (EHB), pp. 188–200.
