Journal article
Delimited dynamic binding
Abstract
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language features to show that the semantics of their interaction is ill-defined yet not expressive enough for these uses.We solve this open and subtle problem. We formalise a typed language DB+DC that combines a calculus DB of dynamic binding and a calculus DC of delimited control. …
Authors
Kiselyov O; Shan C-C; Sabry A
Journal
ACM SIGPLAN Notices, Vol. 41, No. 9, pp. 26–37
Publisher
Association for Computing Machinery (ACM)
Publication Date
September 16, 2006
DOI
10.1145/1160074.1159808
ISSN
0362-1340