Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

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