Type-safe linking and modular assembly language

This publication has 16 references indexed in Scilit:

• Typed cross-module compilation
  Published by Association for Computing Machinery (ACM) ,1998
• Units
  Published by Association for Computing Machinery (ACM) ,1998
• The security of static typing with dynamic linking
  Published by Association for Computing Machinery (ACM) ,1997
• Program fragments, linking, and modularization
  Published by Association for Computing Machinery (ACM) ,1997
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• Extensibility safety and performance in the SPIN operating system
  Published by Association for Computing Machinery (ACM) ,1995
• A simplified account of polymorphic references
  Information Processing Letters, 1994
• A type-theoretic approach to higher-order modules with sharing
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient software-based fault isolation
  Published by Association for Computing Machinery (ACM) ,1993
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971