Rafaello Sanna

Harvard University

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

William E. Byrd (1)Nada Amin (1)

Papers (1)

Jul 23, 2026

Jul 23, 2026·also University of Alabama at Birmingham

chrKanren: Constraint Handling Rules in a Relational Language

By merging CHR with miniKanren, chrKanren unlocks powerful new capabilities for relational programming, including advanced constraint solving and synthesis techniques.

Rafaello Sanna, William E. Byrd, Nada Amin

Code Generation & Program Synthesis Natural Language Processing

Search

Rafaello Sanna

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)