Registered user since Fri 13 Jul 2018
Name: Dmitrii Kosarev
Country: Russia
Affiliation: JetBrains Research, Saint Petersburg State University
Contributions
| miniKanren 2020 | Author of Relational Synthesis for Pattern Matching within the miniKanren 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile