Mario Florido

Registered user since Mon 26 Jan 2015

Name:Mario Florido
Country:Portugal
Affiliation:Universidade do Porto
Research interests:Functional Programming; Types; Lambda-calculus

Contributions

2023

Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2023-profile
View general profile