• Sign in
  • Sign up
conf.researchr.org / Eridan Domoratskiy
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile

Registered user since Thu 11 Jul 2024

Name:Eridan Domoratskiy
Affiliation:Saint-Petersburg State University
GitHub: https://github.com/ProgMiner

Contributions

2025

miniKanren

  • Author of An Empirical Study of Rational Tree Unification for miniKanren within the MiniKanren-track

2024

miniKanren

  • Speaker of A Relational Solver for Constraint-based Type Inference within the miniKanren 2024-track
Share
xSun 26 Oct 22:52
using conf.researchr.org (v1.72.1)
Support page
Sign Up