TY  - RPRT
TI  - Typestate via Revocable Capabilities
AU  - Songlin Jia
AU  - Craig Liu
AU  - Siyuan He
AU  - Haotian Deng
AU  - Yuyan Bao
AU  - Tiark Rompf
PY  - 2026
UR  - https://arxiv.org/abs/2510.08889
ID  - 2510.08889
ER  -