A calculus with polymorphic and polyvariant flow types

J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak. A calculus with polymorphic and polyvariant flow types. Journal of Functional Programming, 12(3):183-227, 2002.

Abstract

Abstract is missing.