
Registered user since Mon 2 Mar 2020
Name: Armando João Isaías Ferreira dos Santos
Country: Portugal
Affiliation: University of Minho, Portugal / INESC TEC, Portugal
Research interests: Functional Programming, Formal Methods, Algebra of Programming
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