conf.researchr.org / Alejandro Aguirre

Not registered as user yet

Name: Alejandro Aguirre

Affiliation: IMDEA Software Institute, Spain

Contributions

POPL 2019Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track
ICFP 2019Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2017Author of A Relational Logic for Higher-Order Programs within the Research Papers-track