Disjoint Polymorphism.

Joo Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi

Browse the full ESOP paper archive.