Registered user since Fri 28 Jul 2017
Name:Petr Lozov
Affiliation:Sain Petersburg State University, SPbGU
Contributions
miniKanren 2020 | On Fair Relational Conjunction | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile