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