@misc{indiciae6b3e619fd1b4,
  title = {Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)},
  author = {Haotian Deng and Siyuan He and Songlin Jia and Yuyan Bao and Tiark Rompf},
  year = {2025},
  doi = {10.1145/3763172},
  url = {https://arxiv.org/abs/2503.07328},
  note = {Source identifier: 2503.07328}
}