Trends in Functional Programming
25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Jason Hemann
Themen in »Trends in Functional Programming«
Functional programming type systems verification debugging profiling program analysis empirical studies virtual machines domain specific languages implementation strategies compilers