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…
q-bio.BM2024★ 3 cited
Multi-objective generative AI for designing novel brain-targeting small molecules
Ayush Noori, Iñaki Arango, William E. Byrd +1
The strict selectivity of the blood-brain barrier (BBB) represents one of the most formidable challenges to successful central nervous system (CNS) drug delivery. Computational met…