Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dmitrii Kosarev
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
Registered user since Fri 13 Jul 2018
Name:
Dmitrii Kosarev
Country:
Russia
Affiliation:
Saint Petersburg State University, Russia
Contributions
2023
miniKanren
Author of klogic: miniKanren in Kotlin within the miniKanren 2023-track
2022
miniKanren
Presenter of Wildcard Logic Variables within the miniKanren 2022-track
Author of On a Declarative Guideline-Directed UI Layout Synthesis within the miniKanren 2022-track
2021
miniKanren
Committee Member in Program Committee within the miniKanren 2021-track
2020
miniKanren
Author of Relational Synthesis for Pattern Matching within the miniKanren 2020-track
2018
ML
Author of Generic Programming with Combinators and Objects within the ML 2018-track
2016
ML
Author of Typed Embedding of Relational Language in OCaml within the ML-track
Share
x
Sun 3 Dec 18:23
