Presentation at Functional Programming Matsuri 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types

slides academic research programming language type system multi-stage programming deep learning
PDF

This is the slides I used for my talk at a dometstic casual conference called Functional Programming Matsuri 2026.