Gibbons, Jeremy (ed.), Trends in Functional Programming: 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers. (Lecture Notes in Computer Science) 525 pp. (Springer International Publishing AG, SZ) ＜A04-60195＞