Login / Signup
Peter Lozov
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Lightweight
Top Venues
LOPSTR
PEPM@POPL
</>
Publications
</>
Peter Lozov
,
Dmitry Kosarev
,
Dmitry Ivanov
,
Dmitry Boulytchev
Relational Solver for Java Generics Type System.
LOPSTR
(2023)
Peter Lozov
,
Dmitry Boulytchev
Efficient fair conjunction for structurally-recursive relations.
PEPM@POPL
(2021)