The CoCompiler: DSL Lifting via Relational Compilation. - Naomi Spargo; Santiago Cuéllar; Jonathan Daugherty; Chris Phifer; David Darais (CoRR, 2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces. - Santiago Cuéllar; Naomi Spargo; Jonathan Daugherty; David Darais (CoRR, 2025)