Bidirectional Typing with Freezing, Skeletons, and Ghosts

Wenhao Tang, Shengyi Jiang, Aghilas Y. Boussaa +2

Bidirectional typing makes use of local information flow between functions and arguments. Conventional bidirectional typing only supports unidirectional information flow, typically…