Registered user since Mon 26 Jan 2015

Name: Mario Florido

Affiliation: LIACC, Universidade do Porto, Porto, Portugal;

Contributions

ESOP 2015Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track