TY  - RPRT
TI  - Bidirectional Typing
AU  - Jana Dunfield
AU  - Neel Krishnaswami
PY  - 2020
DO  - 10.1145/3450952
UR  - https://arxiv.org/abs/1908.05839
ID  - 1908.05839
ER  -