Typesafe Abstractions for Tensor Operations

Tongfei Chen

We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and sho…