Advanced module systems: a guide for the perplexed
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 …
composition. Some of these are fairly simple, others quite sophisticated. Each embodies an …
Advanced module systems (invited talk) a guide for the perplexed
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 …
composition. Some of these are fairly simple, others quite sophisticated. Each embodies an …
Modular programming with aspectual collaborations
J Ovlinger - Companion of the 17th annual ACM SIGPLAN …, 2002 - dl.acm.org
Oriented Programming (AOP) styles of progrmnming. The key idea behind module systems
is that by allowing the language to enforce encapsulation of implementation details behind …
is that by allowing the language to enforce encapsulation of implementation details behind …
[PDF][PDF] Compile-time information in software components
S Owens - 2007 - www-old.cs.utah.edu
Component programming techniques help programmers manage the intrinsic complexity of
large software systems by supporting their modular construction from collections of smaller …
large software systems by supporting their modular construction from collections of smaller …
Modules and Components-Rivals or Partners?
CA Szyperski - The School of Niklaus Wirth, 2000 - books.google.com
Component software sets out to address some of the fundamental problems separating
software construction as executed today from a long-held vision of reuse, extensibility, and …
software construction as executed today from a long-held vision of reuse, extensibility, and …
A type system for higher-order modules
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 …
module system design, including translucency, applicativity, generativity, and modules as …
What is a recursive module?
A hierarchical module system is an effective tool for structuring large programs. Strictly
hierarchical module systems impose an acyclic ordering on import dependencies among …
hierarchical module systems impose an acyclic ordering on import dependencies among …
1ML–core and modules united (F-ing first-class modules)
A Rossberg - Proceedings of the 20th ACM SIGPLAN International …, 2015 - dl.acm.org
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 …
modules, with signatures, structures and functors. Modules form a separate, higher-order …
Using parameterized signatures to express modular structure
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 …
systems. Previous attempts to formulate a type-theoretic foundation for modular …