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