2 papers
cs.PL2025
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…
cs.PL2025
Toward a Corpus Study of the Dynamic Gradual Type
Dibri Nsofor, Ben Greenman
Gradually-typed languages feature a dynamic type that supports implicit coercions, greatly weakening the type system but making types easier to adopt. Understanding how developers…