Peter Lozov

Research Groups

Programming Languages and Tools Lab

Biography

Peter graduated from St. Petersburg State University, Mathematics & Mechanics Faculty, Software Engineering Department with a bachelor's degree in 2016.

Publications

Relational Interpreters for Search Problems

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Typed Relational Conversion

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming