Typing linear algebra : a biproduct-oriented approach - Macedo, Hugo Daniel (2013)