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 …

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 …

We present CMS, a simple and powerful calculus of modules supporting mutual recursion
and higher order features, which can be instantiated over an arbitrary core calculus …

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 …

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

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 …

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 …

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 modules provide hierarchical namespace management, as well as fine-grained control
over the propagation of type information, but they do not allow modules to be broken up into …

Mixin modules are a framework for modular programming that supports code
parameterization, incremental programming via late binding and redefinitions, and cross …