Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: intersection-union-duality
5 items with this tag.
May 17, 2026
Disjoint Polymorphism with Intersection and Union Types
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
intersection-union-duality
May 17, 2026
Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
intersection-union-duality
May 17, 2026
Named Arguments as Intersections, Optional Arguments as Unions
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
intersection-union-duality
hasincompatibletype
May 17, 2026
The Duality of Subtyping
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
intersection-union-duality
May 17, 2026
Union Types with Disjoint Switches
hku-pl-group
literature
recursive-types
iso-recursive-subtyping
intersection-union-duality