Mitchell Wand Type Inference for Record Concatenation and Multiple Inheritance conf/lics/LICS4 1989 LICS 92-97 db/conf/lics/lics89.html#Wand89