• Sign in
  • Sign up
conf.researchr.org / Alejandro Aguirre
  • ICFP 2017 profile
  • ICFP 2019 profile
  • POPL 2019 profile

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

Share
xSun 15 Dec 17:12
using conf.researchr.org (v1.21.5)
Support page
Sign Up