Revisiting Soundness for Occurrence Typing, Semantically

2026-10-07来源 Hacker News NewEnglish

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

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

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/revisiting-soundness-for-occurrence-typing-semantically-e07308.html

相关文章