If-T: A Benchmark for Type Narrowing

Hanwen Guo, Ben Greenman

**Context:** The design of static type systems that can validate dynamically-typed programs (**gradually**) is an ongoing challenge. A key difficulty is that dynamic code rarely fo…