Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alberto Pardo
conf.researchr.org general profile
FLOPS 2024 profile
ICFP 2018 profile
ICFP 2021 profile
ICFP/SPLASH 2025 profile
POPL 2025 profile
Not registered as user
Name:
Alberto Pardo
Affiliation:
Universidad de la Republica, Uruguay
Contributions
2025
TyDe
Author of Representing Data Structures with Invariants in Haskell: the cases of BST and AVL within the TyDe 2025-track
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2025-track
2024
FLOPS
Author of Tabulation with Zippers within the FLOPS 2024-track
2021
Haskell
Committee Member in Program Committee within the Haskell 2021-track
2018
TyDe
Committee Member in Program Committee within the TyDe 2018-track
Share
x
Sun 21 Sep 17:48