High-Level Binding with Low-Level Linkers An easy to implement scheme is described by which a compiler can enforce agreement between complex data types in separately compiled modules. The scheme is designed to work with any existing link editor or linking loader, no matter how deficient. Obscure run-time errors caused by inconsistent usages are forestalled by static errors detected at linking time. CACM November, 1976 Hamlet, R. G. separate compilation, binding, linking, strong typing 4.10 4.22 CA761108 JB January 3, 1978 2:44 PM 2815 5 2815 2815 5 2815 2815 5 2815