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