From Polyvariant flow information to intersection and union types.

Jens Palsberg Christina Pavlopoulou From Polyvariant flow information to intersection and union types. 263-317 2001 11 J. Funct. Program. 3 db/journals/jfp/jfp11.html#PalsbergP01