Proceedings of the 25th symposium on Implementation and Application of Functional Languages
ACM Digital Library