From Polyvariant flow information to intersection and union types

Jens Palsberg, Christina Pavlopoulou. From Polyvariant flow information to intersection and union types. Journal of Functional Programming, 11(3):263-317, 2001.

Abstract

Abstract is missing.