Revisiting Soundness for Occurrence Typing, Semanticallyarxiv.org1 point·matt_d··0 commentsOpen articleSaveView on HN