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