Partial polymorphic type inference is undecidable (1985)

by H-J Boehm
Venue:In 26th Annual Symposium on Foundations of Computer Science