Typing linear algebra: A biproduct-oriented approach - Macedo,HD (2013)