Registered user since Fri 28 Jul 2017
Name:Petr Lozov
Affiliation:Sain Petersburg State University, SPbGU
Contributions
| CPP 2021 | Certified Semantics for miniKanren | ||||||||||||||||||||||||||||||||||||||||
| PEPM 2021 | Efficient Fair Conjunction for Structurally-Recursive Relations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile