Toward a Corpus Study of the Dynamic Gradual Type. - Dibri Nsofor; Ben Greenman (CoRR, 2025)