Trends in Functional Programming: 25th International Symposium, TFP 2024
Files
Document Type
Book
Publisher
Springer
Year
2025
ISBN
978-3-031-74558-4
Description
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; compiler optimizations; and DSL design and implementation.
Keywords
Functional programming, type systems, verification, debugging, profiling, program analysis, empirical studies, virtual machines, domain specific languages, implementation strategies, compilers
Recommended Citation
Hemann, Jason Ph.D. and Chang, Stephen, "Trends in Functional Programming: 25th International Symposium, TFP 2024" (2025). Seton Hall University Faculty Publications. 82.
https://scholarship.shu.edu/faculty-publications/82
