Traditional treatment of scoping in programming languages considers two opposite
semantics: static scoping, where the scope of a binding is a block of program text, and …

Static scoping embodies a strong encapsulation mechanism for hiding the details of
program units. Yet, it does not allow the sharing of variable bindings (locations) across …

Many languages use syntactic sugar to define parts of their surface language in terms of a
smaller core. Thus some properties of the surface language, like its scoping rules, are not …

Algebraic effects offer a versatile framework that covers a wide variety of effects. However,
the family of operations that delimit scopes are not algebraic and are usually modelled as …

Many crosscutting mechanisms proposed in the literature offer means to restrain aspects to
some dynamically-defined scopes. Dynamically-scoped mechanisms are particularly …

Different context-oriented programming languages try to capture contexts with respect to
different things, including a computation, an object, and a device that executes a program …

Context-oriented programming (COP) is a new programming approach whereby the context
in which expressions evaluate can be adapted as a program runs. COP provides a degree …

Almost twenty years after the pioneering efforts of Cardelli, the programming languages
community is vigorously pursuing ways to incorporate F ω-style indexed types into …

Context-oriented programming (COP) provides dedicated support for defining and
composing variations to a basic program behavior. A variation, which is defined within a …

The aspect-oriented programming community devotes lots of energy into the provision of
complex static language constructs to reason about eventual dynamic properties of a …