Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

Registered user since Fri 13 Jul 2018

Name: Dmitrii Kosarev

Country: Russia

Affiliation: JetBrains Research, Saint Petersburg State University

Contributions

miniKanren 2020 Relational Synthesis for Pattern Matching
Show activities from other conferences

ICFP 2020-profile
View general profile