@misc{indiciaee0fb80bd2719,
  title = {Revisiting Soundness for Occurrence Typing, Semantically},
  author = {Yuquan Fu and Carlo Angiuli and Sam Tobin-Hochstadt},
  year = {2026},
  url = {https://arxiv.org/abs/2609.16299},
  note = {Source identifier: 2609.16299}
}