TY  - RPRT
TI  - Incremental Bidirectional Typing via Order Maintenance
AU  - Thomas J. Porter
AU  - Marisa Kirisame
AU  - Ivan Wei
AU  - Pavel Panchekha
AU  - Cyrus Omar
PY  - 2025
UR  - https://arxiv.org/abs/2504.08946
ID  - 2504.08946
ER  -