# Typesafe Abstractions for Tensor Operations

arXiv: https://arxiv.org/abs/1710.06892 · HTML: https://mlsanity.com/paper/1710.06892/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 18 Oct 2017.

## Built on by (most cited first, 1 of 1)

- [It's All Just Vectorization: einx, a Universal Notation for Tensor Operations](https://mlsanity.com/paper/2607.27987/) (2026)

## Abstract (arXiv)

We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and showcase typesafe abstractions of common tensor operations and various neural layers such as convolution or recurrent neural networks. This abstraction could lay the foundation of future typesafe deep learning frameworks that runs on Scala/JVM.