Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das. Parametric Subtyping for Structural Parametric Polymorphism. Proceedings of the ACM on Programming Languages, 8(POPL):2700-2730, January 2024. [doi]
@article{DeYoungMPD24, title = {Parametric Subtyping for Structural Parametric Polymorphism}, author = {Henry DeYoung and Andreia Mordido and Frank Pfenning and Ankush Das}, year = {2024}, month = {January}, doi = {10.1145/3632932}, url = {https://doi.org/10.1145/3632932}, researchr = {https://researchr.org/publication/DeYoungMPD24}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {8}, number = {POPL}, pages = {2700-2730}, }