Research Talk at ECOOP 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
Poster Presentation at PPL 2026: Compile-Time Tensor Shape Checking based on Multi-Stage Programming and Its Application to DNN-Related Programs
A Report on the Development Progress of SATySFi v0.1.0
The Basics of Type Systems for Multi-Stage Programming
