… proves that delimited control macro-expresses dynamic binding. We … dynamic variables
and a facility to obtain not only the latest binding of a dynamic variable but also older bindings. …

… of PLT Scheme—delimited control, continuation marks, exceptions, dynamic-wind—and we
… , our primitives for dynamic binding are currentmarks and call/cm. Dynamic bindings are …

… delimited scope, they can only represent non-destructive update. Consequently, the obtained
system models dynamic binding. … , we briefly outline our calculus for dynamic binding. It is a …

… : to combine multiple monadic effects [18, 31, 32], to normalize λ-terms with sums [7], and
to simulate exceptions and mutable references [39] and dynamic binding [45]. These uses …

… semantics of control delimiters requires that the binding for the top-level continuation be
dynamic (as we … of the semantics of dynamic binding in the absence of control operators [38]. A …

… that dynamic binding adds expressiveness to a purely functional language. Second, we show
that dynamic binding … delimits the extent of the dynamic variable, but now also specifies the …

… We omit the definitions of the monad operations ret and bind and of the memoizing … up
to the nearest dynamically enclosing delimiter. We call this part a delimited context D00; …

… We then translate away the dynamic binding by first adopting a typical environment
passing translation (Dλ̂tp). This however leads to an incorrect interpretation of the …

… which uses dynamic binding as a tool for understanding languages with delimited control. We
… λμ ̂tp (C λμ ̂tp ), leaving behind the dynamic binding of ̂tp. We then translate away the …

… is Kiselyov et al.’s translation from dynamic binding to delimited control [60]. They treat the
… map each dynamic variable to a delimiter label. Another application of delimiter labels and …