Manifest Types, Modules and Separate Compilation. (1994)

by X Leroy
Venue:In Proc. 21st ACM Symposium on Principles of Programming Languages,