Module mechanisms have received considerable theoretical attention, but the associated
concepts of separate compilation and linking have not been emphasized. Anomalous …

Module systems are a powerful, practical tool for managing the complexity of large software
systems. Previous attempts to formulate a type-theoretic foundation for modular …

We present a type theory for higher-order modules that accounts for many central issues in
module system design, including translucency, applicativity, generativity, and modules as …

A hierarchical module system is an effective tool for structuring large programs. Strictly
hierarchical module systems impose an acyclic ordering on import dependencies among …

The design of a module system for constructing and maintaining large programs is a difficult
task that raises a number of theoretical and practical issues. A fundamental issue is the …

Linking is a low-level task that is usually vaguely specified, if at all, by language definitions.
However, the security of web browsers and other extensible systems depends crucially upon …

Writing any large program poses difficult problems of organization. In many modern
programming languages these problems are addressed by special linguistic constructs …

We identify three programming language abstractions for the construction of reusable
components: abstract type members, explicit selftypes, and modular mixin composition …

This paper presents a variant of the SML module system that introduces a strict distinction
between abstract types and manifest types (types whose definitions are part of the module …

To cope with the complexity of very large systems, it is not sufficient to divide them into
simple pieces because the pieces themselves will either be too numerous or too large. A …