Artem Starikov
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 |
|---|---|---|
| typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…) | Haskell 2025 | 2025-10-16 |
typedKanren is a statically typed embedding of a miniKanren dialect in Haskell that implements disequality constraints, GHC.Generics-derived Logical instances… | ||
| Towards Generic Higher-Order Unification Implementations in Haskell | WITS 2025 | 2025-01-25 |
Claims a reusable Haskell library approach that uses Free Foil and a separate signature for parameterised metavariables to produce a limited Second‑Order… | ||
| typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…) | miniKanren 2024 | 2024-09-06 |
A statically typed embedding of miniKanren in Haskell that implements disequality constraints and a variant of relational matching with static exhaustiveness… | ||
| nothing matches | ||