J. Palsberg and M. I. Schwartzbach, “Binding Time Analysis: Abstract Interpretation vs. Type Inference”, DPB, vol. 21, no. 393, Apr. 1992.