1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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…