Daniel Friedman
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- Strange Loop2 editions2013–2014
- Clojure/Conj2 editions2011–2012
on a stage with
who talks about the same things
- Jason Hemann9 talks
- William E. Byrd23 talks
- Nada Amin26 talks
- Edward Kmett5 talks
- Steve Miner3 talks
- Michael Arntzenius7 talks
| title | conference | date |
|---|---|---|
| A New Higher-order Unification Algorithm for λKanren | miniKanren 2021 | 2021-08-26 |
A higher-order unifier for λKanren extends Miller’s pattern fragment with a new maybe-var-term rule and enforces a scope-aware representation using static… | ||
| 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… | ||
| A Relational Exploration of the Chomsky Hierarchy | Strange Loop 2013 | 2013-09-18 |
miniKanren implementation claims to encode deterministic and non-deterministic finite automata plus push‑down automata and Turing Machines and it actually… | ||
| miniKanren Philosophy | Clojure/conj 2012 | 2012-11-15 |
Description of a logic language with a tiny core: a few primitives (fresh, unification, disequality, conde) let relations replace functions and let queries run… | ||
| miniKanren | Clojure/conj 2011 | 2011-11-10 |
Live demo of miniKanren shows relations translated from functions (appen with an extra answer arg) and an interpreter that can run backward generation to… | ||
| nothing matches | ||