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
