ARevisiting Soundness for Occurrence Typing, Semanticallyarxiv.orgarXiv cs.PL (Programming Languages)·arxiv.org·6dHN1Save