| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
|
|||
|
|
|||
|
A Relational Solver for Constraint-based Type Inference Domoratskiy Eridan St. Petersburg National Research University of Information Technologies, Mechanics and Optics |
|||
|
Website: https://persons.iis.nsk.su/en/STEP-2024 |
|||