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