Revisiting Soundness for Occurrence Typing, Semantically

(arxiv.org)

3 points | by azhenley 10 hours ago

No comments yet.