Partial polymorphic type inference is undecidable (1985)

by Hans-J Boehm
Venue:In 26th Annual Symposium on Four~dations of Computer Science