TY  - RPRT
TI  - Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
AU  - Haotian Deng
AU  - Siyuan He
AU  - Songlin Jia
AU  - Yuyan Bao
AU  - Tiark Rompf
PY  - 2025
DO  - 10.1145/3763172
UR  - https://arxiv.org/abs/2503.07328
ID  - 2503.07328
ER  -