From Polyvariant Flow Information to Intersection and Union Types.

Jens Palsberg, Christina Pavlopoulou

Browse the full POPL paper archive.