Palsberg, J.; Schwartzbach, M. I. Binding Time Analysis: Abstract Interpretation Vs. Type Inference. DPB 1992, 21.