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