Programming Backpropagation with Reverse Handlers for Arrows. - Takahiro Sanada; Keisuke Hoshino; Kenshin Hirai; Shin-ya Katsumata (CoRR, 2026)