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

PADL 2023 Execution Time Program Verification With Tight Bounds
Show activities from other conferences

POPL 2023-profile
View general profile