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 …
D Duggan, C Sourelis - ACM SIGPLAN Notices, 1996 - dl.acm.org
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 …
J Mitchell, S Meldal, N Madhav - Proceedings of the 18th ACM SIGPLAN …, 1991 - dl.acm.org
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 …
L Cardelli, J Donahue, M Jordan, B Kalsow… - Proceedings of the 16th …, 1989 - dl.acm.org
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 …
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 …
The programming language Standard ML is an amalgam of two, largely orthogonal, languages. The Core language expresses details of algorithms and data structures. The …