Difference-Based Modules: A Class-Independent Module Mechanism
No abstract available.
Related papers
- MJ: a rational module system for Java and its applications OOPSLA 2003
- The Design of a Class Mechanism for Moby PLDI 1999
- Controlling dynamic module composition through an extensible meta-level API DLS 2010
- Using Parameterized Signatures to Express Modular Structure POPL 1996
- Trojan Horse: Aggregate-and-Batch for Scaling Up Sparse Direct Solvers on GPU Clusters PPoPP 2026
- Typechecking and Modules for Multimethods TOPLAS 1995
- Typechecking and Modules for Multi-Methods OOPSLA 1994
- A type system for higher-order modules POPL 2003