Proceedings of the second ACM SIGPLAN international conference on Functional programming