Daniil Berezun
where else to find them
no profile links on file
what they talk about
where they keep going back
- miniKanren2 editions2022–2023
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Case Study in Functional Conversion and Mode Inference in miniKanren | PEPM 2024 | 2024-01-16 |
Claims a concrete pipeline that turns miniKanren relations into deterministic functions via functional conversion plus mode inference, implemented as a… | ||
| Semi-Automated Direction-Driven Functional Conversion | miniKanren 2023 | 2023-09-08 |
A semi-automated pipeline converts miniKanren relations into functional code that preserves search completeness by normalizing goals, running mode analysis to… | ||
| Wildcard Logic Variables | miniKanren 2022 | 2022-09-15 |
Claims a new variable kind that serves as a limited universal quantifier, implemented in OCanren to extend miniKanren style relations and OCaml-to-relational… | ||
| nothing matches | ||