Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
ACM Digital Library