TY  - RPRT
TI  - A Refined Operational Semantics for FreeCHR
AU  - Sascha Rechenberger
AU  - Thom Frühwirth
PY  - 2026
DO  - 10.4204/eptcs.439.20
UR  - https://arxiv.org/abs/2504.04962
ID  - 2504.04962
ER  -