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.

No reviews for this publication, yet.