Registered user since Fri 28 Jul 2017
Name:Petr Lozov
Affiliation:Sain Petersburg State University, SPbGU
Contributions
miniKanren 2019 | Relational Interpreters for Search Problems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile