Static Semantics, Types, and Binding Time Analysis

Neil D. Jones. Static Semantics, Types, and Binding Time Analysis. Theoretical Computer Science, 90(1):95-118, 1991.