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