Type inference with simple subtypes (1991)

by John C Mitchell
Venue:J. Funct. Program