Login / Signup

Structural Subtyping as Parametric Polymorphism.

Wenhao TangDaniel HillerströmJames McKinnaMichel SteuwerOrnela DardhaRongxiao FuSam Lindley
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases