IoCC in Java: First-Class Module

This is the second in a series looking at the Inversion of Coupling Control type system for composition. This article discusses a more general module type system than the previous article's First-Class Procedure Type.

Note: Some functional programming languages also attempt to define First-Class Modules. The First-Class Modules defined in this article are created from inverted functions.