Kozen, D., J. Palsberg, and M. I. Schwartzbach. “Efficient Inference of Partial Types”. DAIMI Report Series, vol. 21, no. 394, Apr. 1992, doi:10.7146/dpb.v21i394.6629.