TY  - RPRT
TI  - Unifying Function- and Argument-First Bidirectional Type Systems
AU  - Takuma Yoshioka
AU  - Taro Sekiyama
AU  - Atsushi Igarashi
PY  - 2026
UR  - https://arxiv.org/abs/2609.02005
ID  - 2609.02005
ER  -