F.: A Calculus with Polymorphic and Polyvariant Flow Types (2002)

by J B Wells, A Dimock, R Muller, Turbak
Venue:J. Funct. Program