The Expressiveness of LARA: A Unified Language for Linear and Relational Algebra

The linked PDF is horrible. This is the original: https://pbarcelo.ing.uc.cl/main-tcs.pdf

And LARA itself is described here: https://arxiv.org/pdf/1604.03607.pdf