![Armando João Isaías Ferreira dos Santos](https://icfp20.sigplan.org/getProfileImage/armandojoaoisaiasferreiradossantos/13c0fa5f-8366-4aee-84d0-caafb3a9cc6e/small.jpg?1711948153000)
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
ICFP 2020-profile
View general profile
View general profile