Palsberg, J.; Schwartzbach, M. I. Safety Analysis Versus Type Inference for Partial Types. DPB 1992, 21.