Michael R. Levy. Type checking, separate compilation and reusability. In Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984. pages 285-289, ACM, 1984. [doi]
@inproceedings{Levy84:0,
title = {Type checking, separate compilation and reusability},
author = {Michael R. Levy},
year = {1984},
doi = {10.1145/502874.502902},
url = {http://doi.acm.org/10.1145/502874.502902},
tags = {reuse, type checking},
researchr = {https://researchr.org/publication/Levy84%3A0},
cites = {0},
citedby = {0},
pages = {285-289},
booktitle = {Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984},
publisher = {ACM},
}