conf.researchr.org / Alexandre Abreu
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