Proceedings of the 12th ACM SIGPLAN international conference on Functional programming