A Formal Treatment of Bidirectional Typing.

Liang-Ting Chen, Hsiang-Shang Ko

Browse the full ESOP paper archive.