Type checking, separate compilation and reusability

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]

Abstract

Abstract is missing.