TY  - RPRT
TI  - If-T: A Benchmark for Type Narrowing
AU  - Hanwen Guo
AU  - Ben Greenman
PY  - 2025
DO  - 10.22152/programming-journal.org/2025/10/17
UR  - https://arxiv.org/abs/2508.03830
ID  - 2508.03830
ER  -