TY  - RPRT
TI  - When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
AU  - Siyuan He
AU  - Songlin Jia
AU  - Yuyan Bao
AU  - Tiark Rompf
PY  - 2026
UR  - https://arxiv.org/abs/2509.04253
ID  - 2509.04253
ER  -