• Sign in
  • Sign up
conf.researchr.org / Dmitry Rozplokhas
  • APLAS 2020 profile
  • FLOPS 2022 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • POPL 2021 profile
No Photo

Registered user since Mon 19 Aug 2019

Name:Dmitry Rozplokhas

Contributions

2022

FLOPS

  • Author of Scheduling Complexity of Interleaving Search within the FLOPS 2022-track

2021

miniKanren

  • Author of A Complexity Study for Interleaving Search within the miniKanren 2021-track

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

miniKanren

  • Author of Certified Semantics for Disequality within the miniKanren 2020-track

2019

miniKanren

  • Author of Certified Semantics for miniKanren within the miniKanren 2019-track
Share
xSun 11 May 06:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up