Type-Safe Linking and Modular Assembly Language

Neal Glew, J. Gregory Morrisett. Type-Safe Linking and Modular Assembly Language. In POPL. pages 250-261, 1999. [doi]

Abstract

Abstract is missing.