20 citations · 57 across the 16 of their papers we have counts for
1 paper · 1 filter
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
Bidirectional typing mixes type synthesis and type checking into a single process. Existing bidirectional type systems can be classified into two styles based on whether, given a f…