TY  - RPRT
TI  - Homomorphism Calculus for User-Defined Aggregations
AU  - Ziteng Wang
AU  - Ruijie Fang
AU  - Linus Zheng
AU  - Dixin Tang
AU  - Isil Dillig
PY  - 2025
DO  - 10.1145/3763072
UR  - https://arxiv.org/abs/2508.15109
ID  - 2508.15109
ER  -