A framework for type inference with subtyping, in (1998)

by F Pottier
Venue:ACM SIGPLAN International Conference on Functional Programming, ACM