Not registered as user yet

Name: Alejandro Aguirre

Affiliation: IMDEA Software Institute, Spain

Contributions

ICFP 2017Author of A Relational Logic for Higher-Order Programs within the Research Papers-track