Revisiting Soundness for Occurrence Typing, Semantically

(arxiv.org)

1 points | by matt_d 8 hours ago ago