Program Units as Higher-Order Modules
Matthew Flatt, Matthias Felleisen · Electronic Notes in Theoretical Computer Science · 1998
We have designed a new module language called program units. Units support separate compilation, independent module reuse, cyclic dependencies, hierarchical structuring, and dynamic linking. In this paper, we present untyped and typed models of units.