![Mario Florido](https://conf.researchr.org/getProfileImage/marioflorido/500dae1b-2a04-4ba5-86e4-d9b7332ed114/small.jpg?1711588031000)
Registered user since Mon 26 Jan 2015
Name:Mario Florido
Country:Portugal
Affiliation:FCUP, Universidade do Porto, Portugal
Personal website: http://www.dcc.fc.up.pt/~amf/
Research interests:Lambda-Calculus, Type Theory, Functional Programming
Contributions
ESOP 2015-profile
View general profile
View general profile