@inproceedings{176926,
 author = {Xavier Leroy},
 title = {Manifest types, modules, and separate compilation},
 booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1994},
 isbn = {0-89791-636-0},
 pages = {109--122},
 location = {Portland, Oregon, United States},
 doi = {http://doi.acm.org/10.1145/174675.176926},
 publisher = {ACM Press},
 }