TY  - RPRT
TI  - Bidirectional Type Slicing
AU  - Max Carroll
AU  - Anil Madhavapeddy
AU  - Cyrus Omar
PY  - 2026
UR  - https://arxiv.org/abs/2607.12197
ID  - 2607.12197
ER  -