TY  - RPRT
TI  - From Separate Compilation to Sound Language Composition
AU  - Federico Bruzzone
AU  - Walter Cazzola
AU  - Luca Favalli
PY  - 2026
UR  - https://arxiv.org/abs/2602.03777
ID  - 2602.03777
ER  -