Beschreibung
This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13-16, 2025. The 20 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 35 submissions. They were categorized under the topical sections as follows: Invited papers; Language Design; Compilation; Semantics; Types; Program Synthesis; Teaching.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
