• Sign in
  • Sign up
conf.researchr.org / Denis Fokin
  • ICFP 2022 profile
  • ICFP 2023 profile
No Photo

Not registered as user

Name:Denis Fokin

Contributions

2023

miniKanren

  • Author of klogic: miniKanren in Kotlin within the miniKanren 2023-track

2022

miniKanren

  • Author of On a Declarative Guideline-Directed UI Layout Synthesis within the miniKanren 2022-track
Share
xMon 19 May 20:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up