TY  - RPRT
TI  - Bidirectional Typing with Freezing, Skeletons, and Ghosts
AU  - Wenhao Tang
AU  - Shengyi Jiang
AU  - Aghilas Y. Boussaa
AU  - Sam Lindley
AU  - Bruno C. d. S. Oliveira
PY  - 2026
UR  - https://arxiv.org/abs/2607.16061
ID  - 2607.16061
ER  -