Compiling with polymorphic and polyvariant flow types (1997)

by Franklyn Turbak, Allyn Dimock, Robert Muller, J B Wells
Venue:In Int’l Workshop on Types in Compilation