Programming Backpropagation with Reverse Handlers for Arrows

Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai +1

We introduce a new programming language and its categorical semantics in order to design and implement neural networks within the framework of algebraic effects and handlers for ar…