• Sign in
  • Sign up
conf.researchr.org / Petr Lozov
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • POPL 2021 profile

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

Share
xMon 6 Feb 04:34
using conf.researchr.org (v1.58.0)
Support page
Sign Up