Hi, this is @xnningxie, PhD student at the University of Hong Kong. My supervisor is @bcdsoliveira. Our ECOOP'20 paper is on elaborating row polymorphism and bounded polymorphism into polymorphic disjoint intersection types. Our paper is available at: doi.org/10.423...
Row and Bounded Polymorphism via Disjoint Polymorphism
Paper DOI:
Presented at ECOOP 2020, part of SPLASH 2020
By Ningning Xie, Bruno Oliveira, Xuan Bi, Tom Schrijvers
Негізгі бет Row and Bounded Polymorphism via Disjoint Polymorphism
Пікірлер