102 citations · 202 across the 10 of their papers we have counts for
1 paper · 1 filter
Giuseppe Castagna, Loïc Peyrot
We define and study "row polymorphism" for a type system with set-theoretic types, specifically union, intersection, and negation types. We consider record types that embed row var…