@article{dunfield-2021-bidirectional, title={Bidirectional Typing}, volume={54}, ISSN={1557-7341}, url={http://dx.doi.org/10.1145/3450952}, DOI={10.1145/3450952}, number={5}, journal={ACM Computing Surveys}, publisher={Association for Computing Machinery (ACM)}, author={Dunfield, Jana and Krishnaswami, Neel}, year={2021}, month=May, pages={1–38} }