Jos\'e N. Oliveira (HASLab)

Identifiers

• name variant Jos\'e N. Oliveira (HASLab) 0.60 · backfill

Papers (1)

1. Typing linear algebra: A biproduct-oriented approach cs.SE · 2013 · author #2

Mentions

• 1312.4818 #2 · backfill · confidence 0.70 Jos\'e N. Oliveira (HASLab)

Frequent Coauthors

• Hugo Daniel Macedo (INRIA Paris-Rocquencourt) 1 shared papers