Dmitry Rozplokhas -

Registered user since Mon 19 Aug 2019

Name:Dmitry Rozplokhas

Contributions

FLOPS 2022	Author of Scheduling Complexity of Interleaving Search within the FLOPS 2022-track
miniKanren 2021	Author of A Complexity Study for Interleaving Search within the miniKanren 2021-track
CPP 2021	Author of Certified Semantics for miniKanren within the Lightning Talks-track
APLAS 2020	Author of Certified Semantics for Relational Programming within the Research Papers-track
miniKanren 2020	Author of Certified Semantics for Disequality within the miniKanren 2020-track
miniKanren 2019	Author of Certified Semantics for miniKanren within the miniKanren 2019-track