2024-07-122024-07-122024-07-12https://infoscience.epfl.ch/handle/20.500.14299/215138PPDP '05: The 7th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming