TY - RPRT TI - Toward a Corpus Study of the Dynamic Gradual Type AU - Dibri Nsofor AU - Ben Greenman PY - 2025 UR - https://arxiv.org/abs/2503.08928 ID - 2503.08928 ER -