Union Types with Disjoint Switches.

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Browse the full ECOOP paper archive.