The Binding Model: A Semantic Base for Modular Programming Systems

The Binding Model is an abstract machine designed as an 'ideal' kernel for modular programming systems.