The java module system: core design and semantic definition.

Rok Strnisa, Peter Sewell, Matthew J. Parkinson

Browse the full OOPSLA paper archive.