@misc{indiciae75deaf880d2c,
  title = {Incremental Bidirectional Typing via Order Maintenance},
  author = {Thomas J. Porter and Marisa Kirisame and Ivan Wei and Pavel Panchekha and Cyrus Omar},
  year = {2025},
  url = {https://arxiv.org/abs/2504.08946},
  note = {Source identifier: 2504.08946}
}