31 citations · 81 across the 5 of their papers we have counts for
1 paper · 1 filter
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a typ…