Registered user since Tue 12 Sep 2023
Name:Alexandre Abreu
Country:Portugal
Affiliation:University of Porto & INESC TEC
Research interests:Formal Methods, Type Theory, Functional Programming
Contributions
ASE 2023-profile
View general profile
View general profile