Treffer: Homomorphism Calculus for User-Defined Aggregations

Title:
Homomorphism Calculus for User-Defined Aggregations
Authors:
Wang, Ziteng, Fang, Ruijie, Zheng, Linus, Tang, Dixin, Dillig, Işıl
Source:
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):615-641
Availability:
http://dl.acm.org/doi/10.1145/3763072
Database:
ACM Full-Text Collection