Skip to yearly menu bar Skip to main content

Workshop: Advances in Programming Languages and Neurosymbolic Systems (AIPLANS)

Staged compilation of tensor expressions

Marco Zocca


We present our current progress towards a metaprogramming framework for tensor expressions embedded in Haskell; the system offers a high-level syntax for dimension-annotated linear algebra, and generates specialized source code corresponding to the input expression.