• Sign in
  • Sign up
conf.researchr.org / Andrey Vyatkin
  • APLAS 2020 profile
  • ICFP 2019 profile
  • POPL 2021 profile

Not registered as user yet

Name:Andrey Vyatkin

Contributions

APLAS 2020 Author of Certified Semantics for Relational Programming within the Research Papers-track
CPP 2021 Author of Certified Semantics for miniKanren within the Lightning Talks-track
miniKanren 2019 Author of Certified Semantics for miniKanren within the miniKanren 2019-track

Share
xSat 2 Jul 09:43
using conf.researchr.org (v1.56.1)
Support page
Sign Up