Baber Rehman

Disjoint Polymorphism with Intersection and Union Types

2024

Intersection and union types are advance programming features and are able to encode various classical programming constructs. The significance of intersection and union types is visible by the fact that these types are available in …