Palsberg, J., and M. I. Schwartzbach. “Safety Analysis Versus Type Inference for Partial Types”. DAIMI Report Series, vol. 21, no. 404, July 1992, doi:10.7146/dpb.v21i404.6638.