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