Staged compilation of tensor expressionsDownload PDF

Published: 23 Oct 2021, Last Modified: 05 May 2023AIPLANSReaders: Everyone
Keywords: tensor algebra, domain-specific languages, metaprogramming, declarative programming
TL;DR: Using template Haskell to compile tensor reductions from a high-level DSL
Abstract: We present our current progress towards a metaprogramming framework for tensor expressions embedded in Haskell; the system offers a high-level syntax for linear algebra, and generates specialized source code with type-level dimension annotations.
1 Reply