Equational Reasoning for Linking with First-Class Primitive Modules

This publication has 21 references indexed in Scilit:

• A fragment calculus-towards a model of separate compilation, linking and binary compatibility
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Equational Reasoning for Linking with First-Class Primitive Modules
  Published by Springer Nature ,2000
• Type-safe linking and modular assembly language
  Published by Association for Computing Machinery (ACM) ,1999
• Modular object-oriented programming with units and mixins
  Published by Association for Computing Machinery (ACM) ,1998
• Units
  Published by Association for Computing Machinery (ACM) ,1998
• An algebra of mixin modules
  Published by Springer Nature ,1998
• Lambda Calculus with Explicit Recursion
  Information and Computation, 1997
• Program fragments, linking, and modularization
  Published by Association for Computing Machinery (ACM) ,1997
• Cyclic lambda calculi
  Published by Springer Nature ,1997
• A record calculus based on symmetric concatenation
  Published by Association for Computing Machinery (ACM) ,1991