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