Disjoint Polymorphism with Intersection and Union Types.

Baber Rehman, Bruno C. d. S. Oliveira

Browse the full FTfJP paper archive.