Trends in functional programming: 25th international symposium, tfp 2024, south orange, nj, usa, january 10–12, 2024, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783031745577
Date de publication :
10 janv. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10–12, 2024. The 10 full papers included in this book were carefully reviewed and selected from 14 submissions. Topical sections as follows: dependent type systems;