HLinear: Exact Dense Linear Algebra in Haskell. - Alexandru Ghitza; Martin Westerholt-Raum (CoRR, 2016)