Evan Donahue
where else to find them
no profile links on file
what they talk about
where they keep going back
- miniKanren4 editions2021–2024
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Relational Reactive Programming: miniKanren for the Web | miniKanren 2024 | 2024-09-06 |
Implements a micro Todo MVC using a JavaScript miniKanren runtime and a new reactive unification operator that records provenance in the substitution and… | ||
| Goals as Constraints: Writing miniKanren Constraints in miniKanren | miniKanren 2023 | 2023-09-08 |
Adds an extension to miniKanren that runs arbitrary miniKanren goals as constraints, implemented as two cooperating interpreters that treat constraints as… | ||
| Efficient Variational Inference in miniKanren with Weighted Model Countin... | miniKanren 2022 | 2022-09-15 |
Extension of miniKanren implements probabilistic primitives and uses weighted model counting to compute likelihoods and EM-style variational updates, with a… | ||
| Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables | miniKanren 2021 | 2021-08-26 |
Adds guarded fresh to a smalltalk miniKanren to record that subgoals depend on a complex term, suspend those subgoals when their external variables are free… | ||
| nothing matches | ||