Staged compilation of tensor expressionsDownload PDF

08 Oct 2021, 15:28 (modified: 11 Dec 2021, 08:57)AIPLANSReaders: 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

Loading