Merkliste 
 1 Ergebnisse 
 
1

Structural Subtyping as Parametric Polymorphism:

Tang, Wenhao ; Hillerström, Daniel ; McKinna, James...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1093-1121 , 2023