![Alexandre Abreu](https://conf.researchr.org/getProfileImage/alexandreabreu1/896bd55d-8e45-4dab-94d7-53e1b97d3621/small.jpg?1711587523000)
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