fu-2026-revisiting:
  type: misc
  title: Revisiting Soundness for Occurrence Typing, Semantically
  author:
  - Fu, Yuquan
  - Angiuli, Carlo
  - Tobin-Hochstadt, Sam
  date: 2026-09
  serial-number:
    arxiv: '2609.16299'