J. Palsberg and M. I. Schwartzbach, “Safety Analysis versus Type Inference for Partial Types”, DPB, vol. 21, no. 404, Jul. 1992.