@misc{fu-2026-revisiting,
  author = {Yuquan Fu and Carlo Angiuli and Sam Tobin-Hochstadt},
  title = {Revisiting Soundness for Occurrence Typing, Semantically},
  year = {2026},
  month = {9},
  eprint = {2609.16299},
  archiveprefix = {arXiv}
}