Type-safe linking and modular assembly lan- guage (1999)

by Neal Glew, Greg Morrisett
Venue:In Proceedings of the ACM SIGPLAN Symposium on the Principles of Programming Languages