A Calculus for Compiling and Linking Classes
Abstract elided by the publisher.
Related papers
- A Calculus for Link-Time Compilation ESOP 2000
- Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction ICFP 1996
- Polymorphic bytecode: compositional compilation for Java-like languages POPL 2005
- What is Java Binary Compatibility? OOPSLA 1998
- Equational Reasoning for Linking with First-Class Primitive Modules ESOP 2000
- Type-Preserving Flat Closure Optimization OOPSLA 2025
- Mixin' Up the ML Module System TOPLAS 2013
- Modules, abstract types, and distributed versioning POPL 2001