2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Unifying Function- and Argument-First Bidirectional Type Systems
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…
cs.PL2024★ 2 cited
Abstracting Effect Systems for Algebraic Effect Handlers
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
Many effect systems for algebraic effect handlers are designed to guarantee that all invoked effects are handled adequately. However, respective researchers have developed their ow…