Type-safe linking and modular assembly language (1999)

by N Glew, G Morrisett
Venue:In Twenty-Sixth ACM Symposium on Principles of Programming Languages