A Relational Solver for Constraint-based Type Inference. - Eridan Domoratskiy; Dmitry Boulytchev (CoRR, 2024)