Typed Linear Algebra for Efficient Analytical Querying. - João M. Afonso; Gabriel D. Fernandes; João Pedro Alves Fernandes; Filipe Oliveira; Bruno M. Ribeiro; Rogério Pontes; José N. Oliveira; Alberto J. Proença (CoRR, 2018)