Boehm, Hans-J. "Partial Polymorphic Type Inference is Undecidable", Proceedings of the 8th Annual IEEE Symposium on Foundations of Computer Science, Oct. 1985, pp. 339-345.

Languages mentioned

• RUSSELL {1970}