Typed embedding of a relational language in OCaml D Kosarev, D Boulytchev arXiv preprint arXiv:1805.11006, 2018 | 35 | 2018 |
Relational synthesis for pattern matching D Kosarev, P Lozov, D Boulytchev Asian Symposium on Programming Languages and Systems, 293-310, 2020 | 10 | 2020 |
Wildcard Logic Variables D Kosarev, D Berezun, P Lozov miniKanren and Relational Programming Workshop, 2022 | 2 | 2022 |
On a Declarative Guideline-Directed UI Layout Synthesis D Kosarev, P Lozov, D Fokin, D Boulytchev | 2 | 2022 |
Relational Solver for Java Generics Type System P Lozov, D Kosarev, D Ivanov, D Boulytchev International Symposium on Logic-Based Program Synthesis and Transformation …, 2023 | 1 | 2023 |
klogic: miniKanren in Kotlin Y Kamenev, D Kosarev, D Ivanov, D Fokin, D BOULYTCHEV This report aggregates the papers presented at the fifth miniKanren and …, 2023 | 1 | 2023 |
Generic Programming with Combinators and Objects D Kosarev, D Boulytchev arXiv preprint arXiv:2106.01250, 2021 | | 2021 |
Обобщенное программирование с комбинаторами и объектами ДС Косарев, ДЮ Булычев Научно-технический вестник информационных технологий, механики и оптики 21 …, 2021 | | 2021 |
SEIM 2017 Organization D Bulychev, A Ivanov, JBI Kirilenko, B Novikov, Y Litvinov, T Bryksin, ... Second Conference on Software Engineering and Information Management (SEIM …, 2017 | | 2017 |
Уменьшение цены абстракции при типобезопасном встраивании реляционного языка программирования в OCaml Д Косарев Конференция проводится при финансовой поддержке ООО «СиПроВер»(генеральный …, 2017 | | 2017 |
Proceedings of the 2021 miniKanren and Relational Programming Workshop L Zhang, G Rosenblatt University of Toronto Mississauga, 0 | | |