José N. Oliveira
- Typing linear algebra: A biproduct-oriented approach
2012/08/23 by Hugo Daniel Macedo, José N. Oliveira, José Nuno Oliveira · 3 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques