Oxhøj, Nicholas, Jens Palsberg, and Michael I. Schwartzbach. 1992. “Making Type Inference Practical”. DAIMI Report Series 21 (385). https://doi.org/10.7146/dpb.v21i385.6618.