3 citations · 3 across the 3 of their papers we have counts for
1 paper · 2 filters
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…