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

Standard ML is a statically typed programming language that is suited for the construction of
both small and large programs." Programming in the small" is captured by Standard ML's …

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 …

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 …

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

Under the Damas-Milner type discipline for functional languages, every expression has
principal type, if it elaborates at all. In the type discipline for ML Modules, a signature …

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 …

This paper, which was initially prepared to accompany a series of lectures given at the 1978
NATO International Summer School on Program Construction, is primarily tutorial in nature …

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

ML modules and Haskell type classes have proven to be highly effective tools for program
structuring. Modules emphasize explicit configuration of program components and the use of …