Proceedings of the 10th international conference on Functional and Logic Programming
ACM Digital Library