Mitchell Wand Complete Type Inference for Simple Objects 37-44 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#Wand87