Type checking, separate compilation and reusability

This publication has 6 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Is block structure necessary?
  Software: Practice and Experience, 1981
• Inferring types in Smalltalk
  Published by Association for Computing Machinery (ACM) ,1981
• Nesting in Ada programs is for the birds
  Published by Association for Computing Machinery (ACM) ,1980
• A Scheme for the Automatic Inference of Variable Types
  Journal of the ACM, 1980