Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
ACM Digital Library