Revisiting Soundness for Occurrence Typing, Semantically
By azhenley · 2026-10-07 · 2 points · 0 comments
https://arxiv.org/abs/2609.16299
By azhenley · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews