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 …

TheML module system is useful for building large-scale programs. The programmer can
factor programs into nested and parameterized modules, and can control abstraction with …

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

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 …

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 …

Despite its powerful module system, ML has not yet evolved for the modern world of dynamic
and open modular programming, to which more primitive languages have adapted better so …

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 …

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 …

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 …