Palsberg, J. Efficient Inference of Object Types. BRICS 1995, 2.