Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Armando João Isaías Ferreira dos Santos

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

Show activities from other conferences

ICFP 2020-profile
View general profile