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]
@inproceedings{Jensen90-1,
title = {Abstract Interpretation vs. Type Inference A Topological Perspective},
author = {Thomas P. Jensen},
year = {1990},
doi = {10.1007/978-1-4471-3810-5_12},
url = {https://doi.org/10.1007/978-1-4471-3810-5_12},
researchr = {https://researchr.org/publication/Jensen90-1},
cites = {0},
citedby = {0},
pages = {141-145},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming},
editor = {Simon L. Peyton Jones and Graham Hutton and Carsten Kehler Holst},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {978-3-540-19667-9},
}