conf.researchr.org / Petr Lozov

Registered user since Fri 28 Jul 2017

Name: Petr Lozov

Affiliation: Sain Petersburg State University, SPbGU

Contributions

PEPM 2021 Author of Efficient Fair Conjunction for Structurally-Recursive Relations within the PEPM 2021-track
CPP 2021 Author of Certified Semantics for miniKanren within the Lightning Talks-track
miniKanren 2020 Author of On Fair Relational Conjunction within the miniKanren 2020-track
miniKanren 2019 Author of Relational Interpreters for Search Problems within the miniKanren 2019-track
ML 2017 Author of Relational conversion for OCaml within the ML 2017-track