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

by H G Mairson
Venue:Proceedings of the 17th ACM Symposium on Principles of Programming Languages