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]

Abstract

Abstract is missing.