Thomas P. Jensen. Abstract Interpretation vs. Type Inference A Topological Perspective. In Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, editors, Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990. Workshops in Computing, pages 141-145, Springer, 1990. [doi]
Abstract is missing.