![Alejandro Aguirre](https://icfp24.sigplan.org/getProfileImage/alejandroaguirre1/169132e2-06eb-4b79-b55b-5734f91852e7/small.jpg?1711466622000)
Registered user since Tue 25 Apr 2023
Name:Alejandro Aguirre
Country:Denmark
Affiliation:Aarhus University
Personal website: https://cs.au.dk/~alejandro/
Contributions
2024
ICFP
- Almost-Sure Termination by Guarded Refinement
- Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
- Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
- Almost-Sure Termination by Guarded Refinement
- Web Co-Chair in Organizing Committee
Using general profile