D. Kozen, J. Palsberg, and M. I. Schwartzbach, “Efficient Inference of Partial Types”, DPB, vol. 21, no. 394, Apr. 1992.