Partial Polymorphic Type Inference Is Undecidable

FOCS (1985), pp. 339-345

Abstract