
Registered user since Fri 13 Jul 2018
Name:Dmitrii Kosarev
Country:Russia
Affiliation:Saint Petersburg State University
Contributions
miniKanren 2022 | Wildcard Logic Variables On a Declarative Guideline-Directed UI Layout Synthesis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile