TY  - RPRT
TI  - Linking as Evaluation: Correct Separate Compilation via First-Class Environments
AU  - Jam Kabeer Ali Khan
AU  - Jinhao Tan
AU  - Bruno C. d. S. Oliveira
PY  - 2026
UR  - https://arxiv.org/abs/2611.04993
ID  - 2611.04993
ER  -