Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dmitrii Kosarev
conf.researchr.org general profile
APLAS 2020 profile
ICFP 2020 profile
ICFP/SPLASH 2025 profile
Registered user since Sat 30 May 2020
Name:
Dmitrii Kosarev
Contributions
2025
miniKanren
Author of An Empirical Study of Rational Tree Unification for miniKanren within the MiniKanren-track
2020
APLAS
Author of Relational Synthesis for Pattern Matching within the Research Papers-track
Share
x
Sun 26 Oct 21:10
