Not registered as user yet

Name:Antonio Locascio
Affiliation:Universidad Nacional de Rosario

Contributions

HOPE 2020 Author of Alef: A bidirectional effect system for algebraic effects. within the HOPE 2020-track