Type inference with simple subtypes (1991)

by J C Mitchell
Venue:Journal of Functional Programming