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 …

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 …

Mixin modules are proposed as a new construct for module languages, allowing recursive
definitions to span module boundaries. Mixin modules are proposed specifically for the …

We describe a general module language integrating abstract data types, specifications and
object-oriented concepts. The framework is based on the Standard ML module system, with …

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 Modula-3 Type System Page 1 The Modula-3 Type System Luca Cardelli* Jim Donahue+
IvIick Jordan+ Bill Kalsow* Greg Nelson* Abstract This paper presents an overview of the …

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 …

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 …

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

The programming language Standard ML is an amalgam of two, largely orthogonal,
languages. The Core language expresses details of algorithms and data structures. The …