Tech

Revisiting Soundness for Occurrence Typing, Semantically

Hacker News (Newest) By azhenley Oct 6, 2026 · 10:39 PM 1 views 0 comments

Article URL: https://arxiv.org/abs/2609.16299

Comments URL: https://news.ycombinator.com/item?id=49987827

Points: 2

# Comments: 0

Hacker News (Newest) Original story · arxiv.org

How does this story make you feel?

Discussion (0)

No comments yet. Start the conversation!