Trends in Functional Programming - 27th International Symposium, TFP 2026, Odense, Denmark, January 27–29, 2026, Revised Selected Papers

This book constitutes revised selected papers from the 27th International Symposium on Trends in Functional Programming, TFP 2026, held in Odense, Denmark, during January 27–29, 2026. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Semantics and Type Theory; Implementation and Compilation; and Teaching and Education.