Extending Curry and ML type inference with subtypes (1991)

by J C Mitchell
Venue:Journal of Functional Programming