Geoffrey Smith: Polymorphic Type Inference with Overloading and Subtyping. TAPSOFT 1993: 671-685