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