Modules Systems (@ WeWork Kinzie)

Leroy POPL 1994 Manifest types, modules, and separate compilation http://caml.inria.fr/pub/papers/xleroy-manifest_types-popl94.pdf
and
Stefan Wehr and Manuel M. T. Chakravarty ASPLAS 2008 https://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf
(much as I'd like to cover the latter, if will have to come in a subsequent session)