TY  - RPRT
TI  - Capture Now, Consume Later: Reachability Types with Flow-Sensitive Effects for Higher-Order Ownership Transfer
AU  - Haotian Deng
AU  - Siyuan He
AU  - Songlin Jia
AU  - Yuyan Bao
AU  - Tiark Rompf
PY  - 2026
UR  - https://arxiv.org/abs/2510.08939
ID  - 2510.08939
ER  -