Manifest types, modules, and separate compilation (1994)

by X Leroy
Venue:In Proceedings of ACM Symposium on Principles of Programming Languages (POPL