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

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

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 …

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 propose a component programming language that supports an integrated notion of both
compile-time and runtime component. The centerpiece of this paper is the static, compile …

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 …

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 …

This paper studies specific language level abstractions for component-based programming.
We propose a simple model which captures some basic ingredients—like explicit context …

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

Formal component models and component-based software engineering have been subject
to research for decades. The resulting component models allow for systematic development …