Type Inference for Partial Types is Decidable.

Patrick O'Keefe, Mitchell Wand

Browse the full ESOP paper archive.