Macedo H, Oliveira JN.? 2013.??Typing linear algebra: A biproduct-oriented approach. Science of Computer Programming. 78(11):2160-2191.