Posted on August 4, 2025 Dunfield, J., & Krishnaswami, N. (2021). Bidirectional typing. ACM Computing Surveys, 54(5), Article 98:1–98:38