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.