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