activity
20212026
most citedFast Nonblocking Persistence for Concurrent Data Structures

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2026 · cs.PLShow all

1 paper · 2 filters

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…