publicações selecionadas
-
artigo académico
- A linear algebra approach to OLAP. Formal Aspects of Computing. 2015
- Typing linear algebra: A biproduct-oriented approach. International Journal on Software Tools for Technology Transfer. 2013
-
artigo de conferência
- Matrices as arrows! A biproduct approach to typed linear algebra. International Journal on Software Tools for Technology Transfer. 2010