Back to Search Start Over

Towards algorithmic typing for DOT (short paper)