On the undecidability of partial polymorphic type reconstruction. Fundarnenta Informat- icae (1993)

by Frank Pfenning
Venue:School of Computer Science, Carnegie Mellon University