Type-safe linking and modular assembly language (1999)

by N Glew, G Morrisett
Venue:POPL '99. Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of programming languages