[1]
N. Oxhøj, J. Palsberg, and M. I. Schwartzbach, “Making Type Inference Practical”,
DPB
, vol. 21, no. 385, Feb. 1992.