Rethinking Fixpoint Computation
Publications
A Fix for the Fixation on Fixpoints
Proceedings of the 13th Conference on Innovative Data Systems Research (CIDR 2023), Amsterdam, The Netherlands, January 2023.
Proceedings of the 13th Conference on Innovative Data Systems Research (CIDR 2023), Amsterdam, The Netherlands, January 2023.