Registered user since Mon 2 Mar 2020

Name:Jose Nuno Oliveira
Affiliation:University of Minho, Portugal / INESC TEC, Portugal
Research interests:Functional programming, formal methods


Q-SE 2021 Committee Member in Program Committee within the Q-SE 2021-track
Haskell 2020 Author of Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) within the Haskell 2020-track