Deciding ML Typability is Complete for Deterministic Exponential Time.

Harry G. Mairson

Browse the full POPL paper archive.