59 citations · 106 across the 9 of their papers we have counts for
1 paper · 1 filter
Jana Dunfield
Intersection and union types denote conjunctions and disjunctions of properties. Using bidirectional typechecking, intersection types are relatively straightforward, but union type…