conf.researchr.org / Mário Florido
![Mário Florido](https://conf.researchr.org/getProfileImage/marioflorido1/dd7fa81d-7aa9-4c02-8cd2-85b3c02282b8/small.jpg?1711667002000)
Registered user since Tue 6 Dec 2022
Name:Mário Florido
Country:Portugal
Affiliation:Universidade do Porto
Personal website: https://sigarra.up.pt/fcup/en/FUNC_GERAL.FORMVIEW?p_codigo=238703
Research interests:Functional Programming; Lambda-calculus; Types
Contributions