A calculus with polymorphic and polyvariant flow types (0)

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