ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Dmitrii Kosarev

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