Modules, abstract types, and distributed versioning (2001)

by Peter Sewell
Venue:In Proc. 28th POPL