Type inclusion constraints and type inference (1993)

by A S Aiken, E L Wimmers
Venue:In FPCA ’93, Conf