@misc{indiciae31fbc2fe7b86,
  title = {Bidirectional Typing with Freezing, Skeletons, and Ghosts},
  author = {Wenhao Tang and Shengyi Jiang and Aghilas Y. Boussaa and Sam Lindley and Bruno C. d. S. Oliveira},
  year = {2026},
  url = {https://arxiv.org/abs/2607.16061},
  note = {Source identifier: 2607.16061}
}