ECOOP 2026 (series) / Alexandre Abreu
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
Using general profile