Poster Presentation at PPL 2026: Compile-Time Tensor Shape Checking based on Multi-Stage Programming and Its Application to DNN-Related Programs

programming language type system OCaml multi-stage programming deep learning

This is the poster used for our poster presentation at PPL 2026, a domestic conference in Japan about programming languages, logic, and some other related topics held in March 9–12, 2026.