Proceedings of the eighth ACM SIGPLAN international conference on Functional programming