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.

Abstract

Abstract is missing.