Functional and Logic Programming (FLOPS 2024) | AMiner