A calculus with polymorphic and polyvariant flow types (2002)

by J B Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
Venue:J. Functional Programming