On the undecidability of partial polymorphic type reconstruction (1992)

by Frank Pfenning
Venue:FUNDAMENTA INFORMATICAE