conf.researchr.org / Eduardo Bonelli
Not registered as user yet
Name:Eduardo Bonelli
Affiliation:CONICET, Argentina / Universidad Nacional de Quilmes, Argentina
Contributions
ICFP 2017 | Author of Foundations of Strong Call by Need within the Research Papers-track |
FSCD 2017 | Author of Optimality and the Linear Substitution Calculus within the FSCD 2017-track |