HN Reader

Explicit Refinement Types

5 fanf2 1 8/12/2025, 2:42:04 PM dl.acm.org ↗

Comments (1)

tekne · 13h ago
Hi, I'm the author of this paper! Nice to see it on HN!