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 | Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESOP 2015-profile
View general profile
View general profile