Rafaello Sanna
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Beyond Cons: Purely Relational Data Structures | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
Adds a constraint-enabled extension to miniKanren that implements first-class set objects and association-list constraints, giving membership, set… | ||
| 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… | ||
| nothing matches | ||