Binding strategies and scope rules are independent

The programming language Lisp employs dynamic scope rules. Binding is usually of the shallow variety, but deep (also called funarg) binding is also available. Block-structured languages, on the other hand, use static scope rules. Here, binding is always deep. The goal of this paper is to examine the complexities of shallow binding with static scope rules in a block-structured language, and to suggest an implementation scheme for this unlikely combination. The purpose of this exercise is to demonstrate that binding strategies (shallow/deep) and scope rules (static/dynamic) are separable issues.