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