Research Talk at ECOOP 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
A Research Talk at FLOPS 2024: An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programs