Partial Polymorphic Type Inference Is Undecidable

Hans-Juergen Boehm

Browse the full FOCS paper archive.