Jason Hemann
where else to find them
what they talk about
where they keep going back
- miniKanren2 editions2024–2026
all 5 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- William E. Byrd23 talks
- Daniel Friedman6 talks
- Nada Amin26 talks
- Edward Kmett5 talks
- Michael Arntzenius7 talks
- Steve Miner3 talks
| title | conference | date |
|---|---|---|
| A Lean, Mean, miniKanren Machine | miniKanren 2026 | 2026-08-24 |
Presents a reduction semantics for miniKanren implemented in PLT Redex with a JavaScript/Racket stepper that visualizes an executable search tree and… | ||
| Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
Presents a deterministic small-step semantics that models miniKanren’s interleaving at goal-level granularity using delay/go control, left/right disjunctions… | ||
| Frontiers: What's next for miniKanren and Relational Programming? | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
miniKanren shows concrete momentum: 11 papers at ICFP-level workshops, many tiny EDSL implementations across host languages, and interoperable ports rather… | ||
| Multi-stage Relational Programming | PLDI 2025 | 2025-06-16 |
Implements a multi-stage extension of miniKanren that compiles known parts of relational interpreters and defers unknown holes to a runtime relational… | ||
| Challenges in the Design and Implementation of Teaching Languages for EDSLs | Scheme 2024 | 2024-09-07 |
Examines concrete failures and prototypes: why shallow EDSLs (examples: miniKanren, Mimi in R) give students opaque stack traces, infinite loops, and… | ||
| Tutorial on Program Transformations | Scheme 2024 | 2024-09-07 |
Step-by-step recipe that turns a small Scheme interpreter into C: the session shows exact transforms — CPS conversion, lifting and replacing higher-order… | ||
| Six Ways to Implement Divisibility by Three in miniKanren | miniKanren 2024 | 2024-09-06 |
Compares six concrete miniKanren implementations that decide n ≡ 0 (mod 3) over Oleg numerals, including multiplication-by-3, recursive plus-by-3, digit-sum… | ||
| Write the Other Half of Your Program | Strange Loop 2014 | 2014-09-17 |
A tool converts carefully written functions into mini canron relations by systematically adding an output argument, replacing conditionals with coni/cond-style… | ||
| nothing matches | ||