Proceedings of the fourth ACM SIGPLAN international conference on Functional programming