Partial Polymorphic Type Inference Is Undecidable

FOCS(1985), pp. 339-345

Abstract

Research Areas