Modules, abstract types, and distributed versioning

Peter Sewell. Modules, abstract types, and distributed versioning. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL, pages 236-247, Association for Computing Machinery, 2001. [doi]

Abstract

Abstract is missing.