Mühlböck, Fabian, and Ross Tate. “Transitioning from Structural to Nominal Code with Efficient Gradual Typing.”https://doi.org/10.1145/3485504__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021.https://doi.org/10.1145/3485504 .
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504