miniKanren 2024
2024-09-06
Milan, Italy
[miniKanren 2020, miniKanren 2021, miniKanren 2022, miniKanren 2023, miniKanren 2024, miniKanren 2026]
who it's for
relational programming researchers, language implementors, logic programming users, compiler and optimization engineers, Haskell developers, frontend JavaScript developers, systems and Datalog engineers
topics
integrity constraints in stableKanren; divisibility relations with Oleg numerals; stableKanren backward compatibility; statically typed relational programming; hosted miniKanren in Racket; constraint-based type inference; relational reactive programming for web; logic programming on GPUs and clusters; reactive unification operator; occurs-check elimination optimisation; relational DFA for modular arithmetic; persistent symbol table for separate compilation
| title | author | length |
|---|---|---|
| To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision | Xiangyu Guo, Ajay Bansal | 29m |
Integrates ASP-style predicate (integrity) constraints into stableKanren and ships a new constraint macro plus a continuation-based updater that treats… | ||
| Six Ways to Implement Divisibility by Three in miniKanren | Brett Schreiber, Brysen Pfingsten, Jason Hemann | 16m |
Compares six concrete miniKanren implementations that decide n ≡ 0 (mod 3) over Oleg numerals, including multiplication-by-3, recursive plus-by-3, digit-sum… | ||
| Improving stableKanren’s Backward Compatibility | Xiangyu Guo, Ajay Bansal | 23m |
stableKanren gains two concrete changes to run legacy miniKanren code: a syntactic analyzer has-negation that skips heavyweight stable-model contradiction… | ||
| typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…) | Nikolai Kudasov, Artem Starikov | 30m |
A statically typed embedding of miniKanren in Haskell that implements disequality constraints and a variant of relational matching with static exhaustiveness… | ||
| Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility | Michael Ballantyne | 56m |
A hosted miniKanren embeds a macro-spec grammar in Racket using the syntax-spec macro to produce a small core language that an optimizing compiler consumes… | ||
| A Relational Solver for Constraint-based Type Inference | Dmitri Boulytchev, Eridan Domoratskiy | 17m |
A miniKanren-based type inferencer for the Lama educational language is implemented: it infers constraints from terms, solves them relationally, and applies… | ||
| Relational Reactive Programming: miniKanren for the Web | Evan Donahue | 30m |
Implements a micro Todo MVC using a JavaScript miniKanren runtime and a new reactive unification operator that records provenance in the substitution and… | ||
| High-Performance Logic Programming on Servers, Clusters, and GPUs | Kristopher Micinski | 57m |
A new suite of engines targets Datalog on servers, clusters, and GPUs with concrete speed and scale claims: Ascent is a Rust-embedded engine that integrates… | ||
| nothing matches | ||