deep-learning - gfnweb

Presentation at 関数型まつり (Functional Programming Festival) 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types

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

Installing ocaml-torch on Apple Silicon

Nov 4, 2024

(No translation; at least currently, only a Japanese version is provided.)