“...ACM SIGPLAN International Conference on Functional Programming...”