Type safe linking and modular assembly language (1999)

by Neal Glew, Greg Morrisett
Venue:In Conference Record of POPL ’99: 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages