3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.PL2026
chrKanren: Constraint Handling Rules in a Relational Language
Rafaello Sanna, William E. Byrd, Nada Amin
We present chrKanren, a dialect of the purely relational constraint logic programming language miniKanren which includes support for Constraint Handling Rules (CHR), a language for…
cs.PL2025
Beyond Cons: Purely Relational Data Structures
Rafaello Sanna, William E. Byrd, Nada Amin
We present {Kanren} (read: set-Kanren), an extension to miniKanren with constraints for reasoning about sets and association lists. {Kanren} includes first-class set objects, a fun…
cs.DC2021★ 3 cited
Fast Nonblocking Persistence for Concurrent Data Structures
Wentao Cai, Haosen Wen, Vladimir Maksimovski +4
We present a fully lock-free variant of the recent Montage system for persistent data structures. Our variant, nbMontage, adds persistence to almost any nonblocking concurrent stru…