TY  - RPRT
TI  - Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report)
AU  - Ling Zhang
AU  - Yuting Wang
AU  - Jinhua Wu
AU  - Jérémie Koenig
AU  - Zhong Shao
PY  - 2023
DO  - 10.1145/3632914
UR  - https://arxiv.org/abs/2302.12990
ID  - 2302.12990
ER  -