Proceedings of the 9th international conference on Functional and logic programming
ACM Digital Library