TY  - RPRT
TI  - The CoCompiler: DSL Lifting via Relational Compilation
AU  - Naomi Spargo
AU  - Santiago Cuéllar
AU  - Jonathan Daugherty
AU  - Chris Phifer
AU  - David Darais
PY  - 2025
UR  - https://arxiv.org/abs/2510.00210
ID  - 2510.00210
ER  -