Presentation at 関数型まつり (Functional Programming Festival) 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types

(last modified: )

slides 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 Festival) 2026. The content is an introduction for our research paper in ECOOP 2026.