MP Jones - Proceedings of the 23rd ACM SIGPLAN-SIGACT …, 1996 - dl.acm.org
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 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 …
K Crary, R Harper, S Puri - Proceedings of the ACM SIGPLAN 1999 …, 1999 - dl.acm.org
A hierarchical module system is an effective tool for structuring large programs. Strictly hierarchical module systems impose an acyclic ordering on import dependencies among …
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 …
N Glew, G Morrisett - Proceedings of the 26th ACM SIGPLAN-SIGACT …, 1999 - dl.acm.org
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends crucially upon …
DB MacQueen - Proceedings of the 13th ACM SIGACT-SIGPLAN …, 1986 - dl.acm.org
Writing any large program poses difficult problems of organization. In many modern programming languages these problems are addressed by special linguistic constructs …
M Odersky, M Zenger - Proceedings of the 20th annual ACM SIGPLAN …, 2005 - dl.acm.org
We identify three programming language abstractions for the construction of reusable components: abstract type members, explicit selftypes, and modular mixin composition …
X Leroy - Proceedings of the 21st ACM SIGPLAN-SIGACT …, 1994 - dl.acm.org
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 …
M Blume, AW Appel - ACM Transactions on Programming Languages …, 1999 - dl.acm.org
To cope with the complexity of very large systems, it is not sufficient to divide them into simple pieces because the pieces themselves will either be too numerous or too large. A …