Hans-Juergen Boehm. Partial Polymorphic Type Inference Is Undecidable. In 26th Annual Symposium on Foundations of Computer Science, 21-23 October 1985, Portland, Oregon, USA. pages 339-345, IEEE, 1985.
@inproceedings{Boehm85:0,
title = {Partial Polymorphic Type Inference Is Undecidable},
author = {Hans-Juergen Boehm},
year = {1985},
tags = {type inference},
researchr = {https://researchr.org/publication/Boehm85%3A0},
cites = {0},
citedby = {0},
pages = {339-345},
booktitle = {26th Annual Symposium on Foundations of Computer Science, 21-23 October 1985, Portland, Oregon, USA},
publisher = {IEEE},
}