Manifest types, modules, and separate compilation (1994)

by Ler94 X Leroy
Venue:In Proceedings of the 21st Symposium on Principles of Programming Languages