F. Mühlböck and R. Tate, “Transitioning from structural to nominal code with efficient gradual typing,” Proceedings of the ACM on Programming Languages, vol. 5. Association for Computing Machinery, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504