Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Rodriguez
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Nicolas Rodriguez
Affiliation:
Instituto de Computación, Universidad de la República
Contributions
2025
TyDe
Author of Representing Data Structures with Invariants in Haskell: the cases of BST and AVL [Remote] within the TyDe 2025-track
Share
x
Thu 2 Oct 02:46