Type-Safe Linking and Modular Assembly Language.

Neal Glew, J. Gregory Morrisett

Browse the full POPL paper archive.