Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eridan Domoratskiy
conf.researchr.org general profile
ICFP 2024 profile
Registered user since Thu 11 Jul 2024
Name:
Eridan Domoratskiy
Affiliation:
ITMO University
GitHub:
https://github.com/ProgMiner
Contributions
2024
miniKanren
Speaker of A Relational Solver for Constraint-based Type Inference within the miniKanren 2024-track
Share
x
Sun 22 Dec 02:24