ML typability is DEXPTIME-complete (1990)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:Boston University