Palsberg, J.; Wand, M.; O’Keefe, P. Type Inference With Nonstructural Subtyping. BRICS 1995, 2.