Structural Subtyping as Parametric Polymorphism

Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley. Structural Subtyping as Parametric Polymorphism. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1093-1121, October 2023. [doi]

No reviews for this publication, yet.