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
ICFP 2024-profile
View general profile
View general profile