Neal Glew, J. Gregory Morrisett
Type-Safe Linking and Modular Assembly Language
POPL, 1999.
@inproceedings{POPL-1999-GlewM, author = "Neal Glew and J. Gregory Morrisett", booktitle = "{Proceedings of the 26th Symposium on Principles of Programming Languages}", doi = "10.1145/292540.292563", editor = "Andrew W. Appel and Alex Aiken", isbn = "1-58113-095-3", pages = "250--261", publisher = "{ACM}", title = "{Type-Safe Linking and Modular Assembly Language}", year = 1999, }