Registered user since Mon 2 Mar 2020
Name:Jose Nuno Oliveira
Country:Portugal
Affiliation:University of Minho, Portugal / INESC TEC, Portugal
Personal website:https://www.inesctec.pt/en/people/jose-nuno-oliveira
Research interests:Functional programming, formal methods
Contributions
| Haskell 2020 | Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile