Macedo H, Oliveira JN.? 2010.??Matrices As Arrows! A Biproduct Approach to Typed Linear Algebra. 10th International Conference Mathematics of Program Construction. 6120:271?287.