conf.researchr.org / Alexandre Abreu
![Alexandre Abreu](https://conf.researchr.org/getProfileImage/alexandreabreu1/8390c8eb-acdc-45d1-a3cd-9b13ca2d037e/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
Registered user since Tue 12 Sep 2023
Contributions