miniKanren 2021
2021-08-26..2021-08-27
-- online --
[miniKanren 2020, miniKanren 2021, miniKanren 2022, miniKanren 2023, miniKanren 2024, miniKanren 2026]
| title | author | length |
|---|---|---|
| A Complexity Study for Interleaving Search | Dmitry Rozplokhas | 22m |
Formal complexity model for canonical miniKanren, decomposing full-search time into scheduling factor, unification (with separate occurs-check cost), and… | ||
| metaKanren: Towards a Metacircular Relational Interpreter | Bharathi Ramana Joshi, William E. Byrd | 20m |
metaKanren implements a deep relational interpreter for a microKanren-like language and claims to enable metacircular behavior that a shallow embedding cannot… | ||
| A New Higher-order Unification Algorithm for λKanren | Daniel Friedman | 17m |
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… | ||
| Adventures in extending miniKanren | Nada Amin | 42m |
Adds a stage miniKanren interpreter that turns interpreters into compilers and an SMT-backed CLP SMT extension by augmenting the miniKanren state with extra… | ||
| Prolog-Style Meta-Programming miniKanren | t.i chrome, my time key, hey nada | 21m |
A Prolog‑style meta interpreter for miniKanren generates proof-tree derivations that pinpoint why simply typed lambda calculus self‑application fails by… | ||
| Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables | Evan Donahue | 17m |
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… | ||
| Universal Quantification and Implication in miniKanren | gregory rosenblatt mastermind, lisa john | 21m |
Adds two new miniKanren goal constructors: universal goal (variables, body, domain) and implication goal (antecedent, consequent), with an algorithm that does… | ||
| Relational Content Generation | Chris Martens | 01h 20m |
Relational programming uses Answer Set Programming to define and navigate procedural content spaces, implementing choice rules to add possibilities and… | ||
| Relational Floating-Point Arithmetic | lucas sandre, malaika zaidi, Lisa Zhang | 18m |
Implements a minimal relational floating‑point system (comparisons, addition/subtraction, multiplication/division) in miniKanren, using olekislya's relational… | ||
| Full Workshop | Nada Amin, Chris Martens | 06h 08m |
Symbolic execution produces a symbolic scheme that exposes schedule, unification and reification costs and shows scheduling dominates some pathologies… | ||
| nothing matches | ||