TY  - RPRT
TI  - Revisiting Soundness for Occurrence Typing, Semantically
AU  - Yuquan Fu
AU  - Carlo Angiuli
AU  - Sam Tobin-Hochstadt
PY  - 2026
UR  - https://arxiv.org/abs/2609.16299
ID  - 2609.16299
ER  -