Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dmitry Rozplokhas
conf.researchr.org general profile
APLAS 2020 profile
FLOPS 2022 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
POPL 2021 profile
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
x
Thu 21 Nov 12:48