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