Petr Lozov -

Registered user since Fri 28 Jul 2017

Name:Petr Lozov

Affiliation:Sain Petersburg State University, SPbGU

Contributions

miniKanren 2022	PC Member in Program Committee within the miniKanren 2022-track Presenter of On a Declarative Guideline-Directed UI Layout Synthesis within the miniKanren 2022-track Author of Wildcard Logic Variables within the miniKanren 2022-track
CPP 2021	Author of Certified Semantics for miniKanren within the Lightning Talks-track
PEPM 2021	Author of Efficient Fair Conjunction for Structurally-Recursive Relations within the PEPM 2021-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