• 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

2021

CPP

  • Author of Certified Semantics for miniKanren within the Lightning Talks-track

2020

APLAS

  • Author of Certified Semantics for Relational Programming within the Research Papers-track

2019

miniKanren

  • Author of Certified Semantics for miniKanren within the miniKanren 2019-track
Share
xThu 28 Sep 02:49
using conf.researchr.org (v1.61.3)
Support page
Sign Up