Peter Lozov

Peter Lozov


Research Groups

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

Read more

Typed Relational Conversion

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming

Read more