Registered user since Fri 28 Jul 2017
Name:Petr Lozov
Affiliation:St. Petersburg State University, St. Petersburg, Russia
Contributions
miniKanren 2022 | PC Member in Program Committee within the miniKanren 2022-track On a Declarative Guideline-Directed UI Layout Synthesis Wildcard Logic Variables | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile