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

by H Mairson
Venue:In Proc. 17th ACM Symp. on Principles of Programming Languages (POPL). ACM