A Verified Compiler for a Functional Tensor Language.

Amanda Liu, Gilbert Bernstein, Adam Chlipala, Jonathan Ragan-Kelley

07 Nov 2025Proc. ACM Program. Lang. 2024EveryoneCC BY-SA 4.0