A framework for type inference with subtyping (1998)

by F Pottier
Venue:in ‘Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP’98