Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming Journal