@misc{indiciaecca1622fecdb,
  title = {When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking},
  author = {Siyuan He and Songlin Jia and Yuyan Bao and Tiark Rompf},
  year = {2026},
  url = {https://arxiv.org/abs/2509.04253},
  note = {Source identifier: 2509.04253}
}