Manifest types, modules, and separate compilation. Pages 109–122 of: Principles of programming languages (1994)

by Xavier Leroy