TY  - RPRT
TI  - Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
AU  - Songlin Jia
AU  - Guannan Wei
AU  - Siyuan He
AU  - Yuyan Bao
AU  - Tiark Rompf
PY  - 2026
UR  - https://arxiv.org/abs/2404.08217
ID  - 2404.08217
ER  -