Takahiro Sanada

Programming Backpropagation with Reverse Handlers for Arrows

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 arrows. Our language enables us to construct neural networks symbolically, in the same manner as algeb...