Proceedings of the seventh ACM SIGPLAN international conference on Functional programming