Revisiting Soundness for Occurrence Typing, Semantically

3 points | by azhenley 10 hours ago