Skip to yearly menu bar Skip to main content


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

Staged compilation of tensor expressions

Marco Zocca


Abstract:

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.