Igor Engel
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Typed Embedding of miniKanren for Functional Conversion | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
A typed tagless-final embedding of miniKanren into Haskell replaces the old untyped deep AST with generated logic-term types (via Template Haskell), enabling… | ||
| 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… | ||
| nothing matches | ||