Skip to content

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types.

Takashi Suwa, Atsushi Igarashi

VenueAECOOP
Year2026
ProceedingsECOOP

Browse the full ECOOP paper archive.