The past three decades have seen a plethora of language features for large-scale software
composition. Some of these are fairly simple, others quite sophisticated. Each embodies an …

The past three decades have seen a plethora of language features for large-scale software
composition. Some of these are fairly simple, others quite sophisticated. Each embodies an …

Oriented Programming (AOP) styles of progrmnming. The key idea behind module systems
is that by allowing the language to enforce encapsulation of implementation details behind …

Component programming techniques help programmers manage the intrinsic complexity of
large software systems by supporting their modular construction from collections of smaller …

Component software sets out to address some of the fundamental problems separating
software construction as executed today from a long-held vision of reuse, extensibility, and …

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 …

Component programming techniques encourage abstraction and reuse through external
linking. Some parts of a program, however, must use concrete, internally specified …

ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …

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 …