HN Trends Tracker
backend ok
Repost history
Back to feed
Canonical URL: https://arxiv.org/abs/2609.16299
Current story
#
Revisiting Soundness for Occurrence Typing, Semantically
(arxiv.org)
HN #49,987,827
2026-10-07 03:39 UTC
3 points
by azhenley
11 days ago
0 comments
Prior reposts (1 of 2 total)
#
Revisiting Soundness for Occurrence Typing, Semantically
(arxiv.org)
HN #49,722,087
2026-09-16 04:28 UTC
1 points
by matt_d
32 days ago
0 comments