Introduction
Topics:
- modular programming
- language features for modularity
- structures and modules
- scoping and modules
- signatures and module types
- abstract types
- functional data structures
- sharing constraints
- compilation units
- code reuse
- includes
- functors