Beyond static and dynamic scope

@inproceedings{Tanter2009BeyondSA,
  title={Beyond static and dynamic scope},
  author={{\'E}ric Tanter},
  booktitle={DLS},
  year={2009}
}
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 dynamic scoping, where a binding is in effect during the whole reduction of an expression to a value. Static scoping and dynamic scoping are however but two points in the design space of scoping mechanisms. As a result, most proposed language mechanisms that rely on some notion of scoping, such as variable bindings of course… CONTINUE READING