Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020

Registered user since Fri 13 Jul 2018

Name: Dmitrii Kosarev

Country: Russia

Affiliation: JetBrains Research, Saint Petersburg State University

Contributions

miniKanren 2020Author of Relational Synthesis for Pattern Matching within the miniKanren 2020-track
Show activities from other conferences

Using general profile