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