• Sign in
  • Sign up
conf.researchr.org / Dmitrii Kosarev
  • ICFP 2016 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
Dmitrii Kosarev

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
xFri 9 May 01:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up