Manifest Types, Modules and Separate Compilation (1994)

by X Leroy
Venue:In Proc. 21st ACM Symposium on Principles of Pro- gramming Languages