Deciding ML typability is complete for deterministic exponential time (1990)

by H G Mairson
Venue:ACM Int. Conf. on Principles of Programming Languages