@article{gg-pj-2025,
  author={Hanwen Guo and Ben Greenman},
  title={{If-T}: A Benchmark for Type Narrowing},
  journal={{Programming}},
  volume={10},
  number={2},
  pages={17:1--17:31},
  doi={10.22152/programming-journal.org/2025/10/17},
  year={2025}
}