Title: Proceedings of the 25th Symposium on Implementation and Application of Functional Languages