@inproceedings{ng-hatra-2024, author = {Dibri Nsofor and Ben Greenman}, title = {Toward a Corpus Study of the Dynamic Gradual Type}, booktitle = {{HATRA}}, year = {2024}, numpages = {11}, note = {\url{https://arxiv.org/abs/2503.08928}} }