Gradual Tensor Shape Checking.

Momoko Hattori, Naoki Kobayashi, Ryosuke Sato

Browse the full ESOP paper archive.