A flow-based approach for variant parametric types.

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea

Browse the full OOPSLA paper archive.