Jump to Content

Partial Polymorphic Type Inference Is Undecidable

FOCS (1985), pp. 339-345

Abstract

Research Areas